6,068
edits
Changes
Jump to navigation
Jump to search
Line 14:
Line 14: − +
no edit summary
The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.
The formulation of constructive axiom of choice is one of three major problems which challenge 21st century logicians.
The axiom of choice is not related to the [[liberal]] term pro-choice, which is the term used for themselves by proponents of [[abortion]].
[[category:set theory]]
[[category:set theory]]