Ideas from 'Mathematics: Form and Function' by Saunders MacLane [1986], by Theme Structure

Click on the Idea Number for the full details    |     back to texts     |     expand this idea

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