Die Rekursivität der Widerlegbarkeit und Beweisbarkeit in der formalen Arithmetik sind eng miteinander verbunden und bieten einen neuen Ansatz, um die Unvollständigkeit zu verstehen.