2008/07/30 by Werner DePauli-Schimanovich, DePauli-Schimanovich, Werner
Arts and Humanities · Mathematics · Psychology · #FOS: Mathematics #History and Theory of Mathematics #Logic (math.LO) #Philosophy and Theoretical Science #Wittgensteinian philosophy and applications
paper · pdf · doi:10.48550/arxiv.0807.4947
openalex publication_date 2008/07/30 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
Zermelo's Axiom of Separation is: Exist x: Forall y: (y in x <==> y in a & E(y)) with definite(E) and parameter a. Thoralf Skolem suggested to characterize the terminus "definite" by "the property E should be representable by a FOL formula". But that is trivial. "definite" must mean more. The author claims that "definite" means "in accordance with the theory of definitions of logic". In this case the theorem of Cantor is no longer a theorem, but a undecidable sentence, and has to be established explicitly as axiom. This is not done by the community, but it is made a silent assumption that we can drop the appendix "definite(E)" from the axiom of separation at all. But this is a convention (even when it is silent) and it is nothing else than an axiom.