Return to Article Details Omega-inconsistency without cuts and nonstandard models Download Download PDF