Naive Axiomatic Mengenlehre for Experiments
| dc.creator | DePauli-Schimanovich, Werner | |
| dc.date | 2008-07-27 | |
| dc.date.accessioned | 2026-07-07T09:53:13Z | |
| dc.date.available | 2026-07-07T09:53:13Z | |
| dc.description | The main goal of "Naive Axiomatic Mengenlehre" (NAM) is to find a more or less adequately explicit criterion that precisely formalizes the intuitive notion of a "normal set". NAM is mainly a construction procedure for building several formal systems NAMix, each of which can turn out to be an adequate codification of the contentual naive set theory. ("i" is a natural number which enumerates the used "normality" condition, and "x" is a letter which points to the variants of the used axioms.) Parallel to NAM, the Naive Axiomatic Class Theory NACT is constructed as a system of systems too. | |
| dc.description | 15 pages, no figures | |
| dc.identifier | https://arxiv.org/abs/0807.4327 | |
| dc.identifier | http://arxiv.org/abs/0807.4327 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/165874 | |
| dc.subject | Logic | |
| dc.title | Naive Axiomatic Mengenlehre for Experiments | |
| dc.type | text |