Bedingungen fuer Unvollstaendigkeit

1. System muss reich genug sein, dass alle Aussagen ueber Zahlen, ob wahr oder falsch, in ihm ausgedrueckt werden koennen.
2. Alle allgemeinen rekursiven Beziehungen sollten durch Formeln in diesem System repraesentiert sein.
3. Die Axiome und typographischen, durch die Regeln definierten Muster, muessen durch ein endliches Entscheidungsverfahren feststellbar sein