Ideas of Saunders MacLane, by Theme

[American, fl. 1949, Professor of Mathematics at Chicago. A founder of Category Theory.]

idea number gives 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
ZFC could contain a contradiction, and it can never prove its own consistency