Kümelerde De Morgan kuralı, iki kümenin birleşimi ve kesişimi ile tümleyen işlemi arasındaki bağıntıyı verir.

√3 (karekök 3)'ün sayı doğrusundaki yeri, dik kenarları 1 ve √2 birim uzunluğunda olan bir dik üçgenin hipotenüsünün hesaplanması yardımıyla bulunur...

a ve b tam sayı olmak üzere, b sıfırdan farklı olmak ve a ile b aralarında asal olmak koşuluyla, a/b şeklinde yazılabilen sayılara rasyonel sayılar de..

Aritmetiğin temel teoremi, her pozitif tam sayının asal sayıların çarpımı olarak yazılabileceğini ifade eder.

İki önermenin "ya da ⊻" ile bağlanmasıyla oluşan bileşik önerme, bileşenlerden yalnızca biri doğru olduğunda doğru olur.

Saltıklık, hiçbir ilişkiyi gerektirmeksizin kendiliğinden var olan, mutlak olan demektir. Bağımsız, göreli olmayan ve kendi başına tam sayılan şeydir...

Bilgi doğrusu yargıların içeriği, mantık doğrusu akıl yürütmenin biçimi ile ilgilidir.

Bir Yunan kolonisi olan Elea kentinde kurulan Elea Okulu'nun temsilcileri Ksenofanes, Parmenides, Elealı Zenon "varlık, varoluş, yanılsama, birlik" ..