4 ms·
Still, "axiom of choice is a theorem in intuitionistic logic" is absolutely true whether or not you accept intuitionistic logic.
by plutooo 11y ago
Still, "axiom of choice is a theorem in intuitionistic logic" is absolutely true whether or not you accept intuitionistic logic.
- pfortuny 11y agoBut thas is not Mathematics, they call it "metamathematics" for something.