To prove that no recursive theory of addition and multiplication of the counting numbers can be complete, Gödel relies on the distinction between the subjective and the objective. I suggested this in “Subjective and Objective,” while noting also that, for a computer, all is subjective.
Incomplete pavement
Altınova, Ayvalik, Balıkesir
September 9, 2025
Polytropy 