“Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e. there are…
↧
“Any consistent formal system F within which a certain amount of elementary arithmetic can be carried out is incomplete; i.e. there are…