Totoloji nedir?

Doğruluk değeri her durumda ve yorumda 1 olan bileşik önermedir.

Ters fonksiyon nedir?

Bire bir ve örten fonksiyondaki ikililerin simetrileri alınarak tanımlanan fonksiyon.

Tamsayı nedir?

Doğal sayı ya da bir doğal sayının toplama işlemine göre tersi.

Permütasyon nedir?

Sayılabilen, sonlu elemanlı bir kümeden yine bu kümeye tanımlanan bire bir (ve örten) fonksiyondur.

Kalan sınıfı nedir?

Tam sayıların, bir m modülüne göre kalanları aynı olanlarının oluşturduğu küme.

İspat nedir?

Bir teoremin hükmünün doğru olduğunu gösterme.