Questions about the provability of statements are represented as questions about the properties of numbers, which would be decidable by the theory if it were complete.
Questions about the provability of statements are represented as questions about the properties of numbers, which would be decidable by the theory if it were complete.
0.004 seconds.