Ideas of Saunders MacLane, by Theme
[American, fl. 1949, Professor of Mathematics at Chicago. A founder of Category Theory.]
green numbers give full details |
back to list of philosophers |
expand these ideas
4. Formal Logic / F. Set Theory ST / 4. Axioms for Sets / a. Axioms for sets
18189
|
ZFC could contain a contradiction, and it can never prove its own consistency
|