W.L.O.G. (Without Loss of Generality)

• Digunakan untuk menyatakan bahwa suatu kasus khusus dapat diambil sebagai perwakilan dari kasus yang lebih umum, tanpa mengurangi keabsahan argumen.

IFF (If and Only If)

• Digunakan untuk menyatakan hubungan dua pernyataan yang ekuivalen; “jika dan hanya jika” (jika A maka B, dan jika B maka A).

Axiom (Aksioma)

• Pernyataan dasar yang diterima sebagai kebenaran tanpa pembuktian.

Lemma (Lema)

• Sebuah hasil atau teorema kecil yang digunakan untuk membuktikan teorema yang lebih besar.

Corollary (Akibat)

• Pernyataan yang langsung mengikuti suatu teorema atau pembuktian.

Theorem (Teorema)

• Pernyataan yang telah dibuktikan berdasarkan aksioma, lema, atau hasil sebelumnya.

Proof (Bukti)

• Argumen logis yang menunjukkan kebenaran suatu pernyataan matematika.

∎ (Tombstone) atau Halmos Symbol

• Simbol yang digunakan di akhir pembuktian untuk menunjukkan bahwa pembuktian selesai. Ini sering digunakan sebagai pengganti Q.E.D.