Semuanya tidak lengkap, karena semua itu tertanam dalam jaringan atau hubungan. 每一个都是不完备的,因为我们置身于 一个联系的网络中
Pada akhirnya, kita akan bisa merundingkan bersama sebagai komunitas, mulai dari bukti yang tidak lengkap, sampai kesimpulan yang kami sepakati bersama. 在另一方面,我们根据不完备的证明 在一起讨论问题 最终达到我们都同意的结论
Inilah tujuan program Hilbert untuk meletakkan semua matematika pada sebuah basis aksioma yang kokoh, tetapi menurut Teorema ketaklengkapan Gödel tiap-tiap sistem aksioma (yang cukup kuat) memiliki rumus-rumus yang tidak dapat ditentukan; dan oleh karena itulah suatu aksiomatisasi terakhir di dalam matematika adalah mustahil. 希尔伯特计划即是想将所有的数学放在坚固的公理基础上，但依据哥德尔不完备定理，每一相容且能蘊涵皮亚诺公理的公理系统必含有一不可決定的公式；因而所有数学的最终公理化是不可能的。
Handphone