Since the axiomatization is complete it follows that either there is an n such that N(n) = H(a, i) or there is an n' such that N(n') = ¬ H(a, i).
Εφόσον η αξιωματοποίση είναι πλήρης συνεπάγεται ότι είτε υπάρχει ένα n όπως το N(n) = H(a, i) είτε υπάρχει ένα n' όπως το N(n') = ¬ H(a, i).