5
edits
Changes
Jump to navigation
Jump to search
Line 18:
Line 18: + +
Elucidate "unprovable without it".
QED
QED
[[User:SamSamson|SamSamson]] 21:50, 8 June 2008 (EDT)
[[User:SamSamson|SamSamson]] 21:50, 8 June 2008 (EDT)
This axiom actually can prove things which are (provably) unprovable without it; an example is Zorn's lemma. (Funnily enough, although Zorn is a guy's name, it's also a German word meaning "rage" ;-) --[[User:AMackenzie|AMackenzie]] 14:29, 2 August 2008 (EDT)