Bilinmeyene başvurma, bilgi yoksunluğundan kaynaklanan, tersi ispatlanamayanın doğru olduğu savıdır.

Bir önermenin doğruluk değerinin olasılıklarını gösteren tabloya o önermenin doğruluk tablosu (çizelgesi) denir.

İki önermenin koşul eklemi olan "ise ⇒" ile bağlanmasıyla oluşan bileşik önermeye "koşullu önerme" denir.

Kıyas, en az iki öncülden yeni bir sonuç çıkarmak üzere yapılan tümdengelime dayalı akıl yürütmedir.

Bir tam sayının 4 ile tam bölünebilmesi için, bu sayının son iki basamağının oluşturduğu iki basamaklı sayı 4'ün tam katı olmalıdır.

Asal sayıların sonsuzluğu, Öklid tarafından asal sayıların sonlu olamayacağı gösterilerek kanıtlanmıştır.

Sıfırdan sonsuza kadar giden sayıların oluşturduğu kümeye doğal sayılar kümesi denir. N = {0, 1, 2, 3, 4, ...} şeklinde gösterilir.

Kosmos evren, evrenin düzeni, görünür dünyanın uyumlu birlikteliği gibi anlamlarda kullanılan felsefi bir terimdir.