Frege ile Boole'un amaçlarını karıştırmayın: Boole mantığı matematiğin bir bölümü (sayı cebrine benzer hesap) yapmak isterken, Frege aritmetiğin mantık ile özdeş olduğunu kanıtlamaya çalışmıştır.
Frege’nin 1879 yılında yayımladığı 'Begriffsschrift' (Kavram Yazısı) eseri sınavda sıkça sorulan öncü kavramlardandır; bu eserin günlük dille ilişkisini mikroskop-göz benzetmesiyle hatırlayın.
Cantor'un 'diyagonal yöntemi'nin reel sayıların sayılabilir olmadığını (0 ile 1 aralığındaki reel sayıların toplam miktarının sayılamaz olduğunu) kanıtlamak için kullanıldığını unutmayın.
Bir kümenin ancak ve ancak kendi öz alt kümesi ile tameşlemeye sokulabiliyorsa 'sonsuz' kabul edildiği tanımını ve bunun Dedekind/Cantor ortak vurgusu olduğunu göz ardı etmeyin.
Cantor Kuramı'na göre kuvvet kümesinin sayal sayısının her zaman orijinal kümeden büyük olduğunu (𝒰S > 𝑆̿) ifade eden eşitsizliği ve bunun köşegen yöntemiyle kanıtlandığını not edin.
Doğal sayılar kümesinin sayal sayısının ℵ₀ (Alef-sıfır) ile gösterildiğini ve sonlu ötesi sayılar dizisinin bu temele dayandığını kesinlikle ezberleyin.
