See also ω-consistent theory for a stronger notion of consistency.
Δείτε επίσης το άρθρο ω-συνεπής θεωρία για μια ισχυρότερη αντίληψη της συνέπειας.