bn:01068923n
Noun Concept
EL
No term available
EN
In mathematical logic, Diaconescu's theorem, or the Goodman–Myhill theorem, states that the full axiom of choice is sufficient to derive the law of the excluded middle or restricted forms of it. Wikipedia
Relations
Sources