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

18189

ZFC could contain a contradiction, and it can never prove its own consistency
