Teorema segons el qual, si una teoria T és no contradictòria i si els axiomes de l’aritmètica són teoremes de T, aleshores T no és categòrica (dit d’una altra manera, existeixen relacions indeterminables en T).
D’aquí es desprèn que una teoria que contingui l’aritmètica és no contradictòria.