Set Theory and Logic

1707 Submissions

[1] viXra:1707.0220 [pdf] submitted on 2017-07-16 10:14:11

Proof of ZFC Axioms as Normal Statements No. 2.2

Authors: Thomas Limberg
Comments: 6 Pages. Language: German

We interpret 5 of the 10 axioms of ZFC (Zermelo-Fraenkel set theory with axiom of choice) as normal statements and proof them. So these 5 sentences don't need to be introduced as axioms, but can be used as proven statements.
Category: Set Theory and Logic