Per una teoria delle classi comunque grandi |
| |
Authors: | Maria Angelica Caponetto Lucia Merlante |
| |
Affiliation: | 1. Istituto di Matematica, Città Universitaria, Piazzale delle Scienze, 00100, Roma
|
| |
Abstract: | We propose an axiomatic theory about this work based upon an original way intending the belonging idea. We think it would be necessary to distinguish among several uses of the word belonging, till now expressed by Peano's symbol. This theory is called “The theory of classes however the large ones» because we think that it comes up to the necessity don't to restrict the size of classes which are expressible by a foundational theory. It is a first order theory, showed by eight axioms; it alphabet includes a lot of infinitely simbols of belonging, one for each level, distinguished one from each other. We think that introducing a lot of symbols we can avoid the classical antinomies and we can extend the Von Neumann's process till we need. The last one restricted to distinguish between the sets and the proper classes. For us this becomes the distinction between the first and the second level. In fact this theory develops the main idea of N.B.C.'s according to which a proper class never belongs to some other class. According to our opinion a class can belong to a larger one because it is a different belonging from the belonging that exists between a set and a proper class. |
| |
Keywords: | |
本文献已被 SpringerLink 等数据库收录! |
|