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. The theorem was discovered in 1975 by Radu Diaconescu and later by Nicolas Goodman and John Myhill.
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. The theorem was discovered in 1975 by Radu Diaconescu and later by Nicolas Goodman and John Myhill.
Source: Wikipedia "Diaconescu's theorem" · CC BY-SA 4.0
Share this article: X · Bluesky