{ "id": "0807.4321", "version": "v1", "published": "2008-07-27T19:06:50.000Z", "updated": "2008-07-27T19:06:50.000Z", "title": "The Notion \"Pathology\" in Set Theory", "authors": [ "Werner DePauli-Schimanovich" ], "comment": "21 pages, no figures", "categories": [ "math.LO" ], "abstract": "When we study the paradoxes of set theory we find out that there are mainly 2 types: the pathologies and the antinomies. These 2 notions are made precise and compared with the somehow inductively definable concept \"abnormal\". (See my paper \"Naive Axiomatic Mengenlehre for Experiments\" in arXiv.) In the following 5 Patho Theses are discussed in order to formalize this notion of pathology. This allows us to define formally the property \"Hereditary-non-Pathological\" for well-formed formulas. With this property the system NACT* of Naive Axiomatic Class Theory is constructed, which has a \"unique maximal\" universe (in a special sense).", "revisions": [ { "version": "v1", "updated": "2008-07-27T19:06:50.000Z" } ], "analyses": { "keywords": [ "set theory", "naive axiomatic class theory", "special sense", "naive axiomatic mengenlehre", "unique maximal" ], "note": { "typesetting": "TeX", "pages": 21, "language": "en", "license": "arXiv", "status": "editable", "adsabs": "2008arXiv0807.4321D" } } }