Ideas from 'Mathematics: Form and Function' by Saunders MacLane [1986], by Theme Structure
green numbers give full details |
back to texts
|
expand this idea
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
|