3 ms·
In case anyone is curious, the proof of LEM from AC is: Diaconescu's Theorem [0] [0]: https://en.wikipedia.org/wiki/Diaconescu%27s_theorem#:~:text=In%20mathema
by enricozb 6y ago
In case anyone is curious, the proof of LEM from AC is: Diaconescu's Theorem [0]
[0]: https://en.wikipedia.org/wiki/Diaconescu%27s_theorem#:~:text=In%20mathematical%20logic%2C%20Diaconescu's%20theorem,later%20by%20Goodman%20and%20Myhill https://en.wikipedia.org/wiki/Diaconescu%27s_theorem#:~:text....