omega-consistency
logic
Learn about this topic in these articles:
Gödel’s theorem
- In metalogic: Discoveries about formal mathematical systems
…if such a system is ω-consistent—i.e., devoid of contradiction in a sense to be explained below—then it is not complete and that, if a system is consistent, then the statement of its consistency, easily expressible in the system, is not provable in it.
Read More