Consistency: a proof that no contradiction can be obtained in the formalism of mathematics.
Konsistensi: bukti bahwa tidak ada kontradiksi dapat diperoleh dalam formalisme matematika.