green numbers give full details.     |    back to list of philosophers     |     expand these ideas

Ideas of Saunders MacLane, by Text

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

1986 Mathematics: Form and Function
p.406 p.29 ZFC could contain a contradiction, and it can never prove its own consistency