Decidability: there should be an algorithm for deciding the truth or falsity of any mathematical statement.
Desikadilitas: harus ada algoritme untuk menentukan kebenaran atau kesalahan pernyataan matematika.