4 ms·
To construct the Gödel number (a part of the proof) requires use of an arithmetic that can express addition and multiplication. If any one of them is missing,
by gahahaha 17y ago
To construct the Gödel number (a part of the proof) requires use of an arithmetic that can express addition and multiplication. If any one of them is missing, the system can be shown to be complete.
- Lozzer 17y agoBeen a while since I studied it, but I thought induction was the key ingredient.