Omega-consistency
Redirect to:
Ω-consistent theory