Outrageously Funny Word Dictionary :: Munk's

👉 Munk's theorem is a fundamental result in mathematical logic that establishes the independence of classical propositional logic from the usual axioms of set theory (Zermelo-Fraenkel set theory with the axiom of choice). This theorem states that, while ZFC can be used to prove certain statements about sets and their properties, it cannot prove the consistency or even the undecidability of certain problems, such as the halting problem.

Munk's