This consistency proof should preferably use only "finitistic" reasoning about finite mathematical objects.
Bukti konsistensi ini sebaiknya harus menggunakan hanya "finitistic" penalaran tentang objek matematika yang terbatas.