Jadeh, keu peutunyok bahwa setiap sistem aksioma matematik pada kenyataan jih konsisten, phon peureulee iasumsi konsistensi sistem matematik nyang lam arti leubeh teuga dari sistem nyang akan terbukti konsisten.