In the standard system of first-order logic, an inconsistent set of axioms will prove every statement in its language (this is sometimes called the principle of explosion), and is thus automatically complete.
Στο πρότυπο σύστημα της λογικής πρώτου βαθμού ένα συνεπές σύνολο αξιωμάτων θα αποδείξει κάθε δήλωση στη γλώσσα της (αυτό μερικές φορές καλείται η αρχή της έκρηξης) και είναι επομένως αυτόματα πλήρες.