Help


+
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.

Edit
Promote Demote Fragment Fix

+
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.

Edit
Promote Demote Fragment Fix

0.004 seconds.