Ano pa mang may hangganang koleksiyon ng mga bilang @-@ teoretikal na mga aksioma na inuunawa bilang pundasyon , ipinakita ni Godel kung paano lumikha ng pormal na pangungusap na totoo bilang @-@ teoretikal na katotohanan ngunit hindi sumusunod sa mga aksiomang ito.
