Hace mucho tiempo, mientras estaba leyendo un libro ($*$) sobre los diversos manera de construir el conjunto de teorías (Zermelo-Freankel, Von Neumann–Bernays–Gödel, y tipo de teorías), he leído acerca de una variante del tipo de la teoría con la extraña metalogics propiedades llamado Wang Hao $\mathfrak S$ sistema, y se presentó por primera vez en el año 1954.
Las extrañas propiedades que eran algo acerca de su capacidad para evitar la Goedel de teoremas.
Ahora no puedo encontrar ese libro nunca más, y en internet no encuentro nada sobre esto. Alguien me puede explicar en palabras fáciles que la teoría especial de propiedades y me ayude a encontrar algunos gratuitos lecturas y presentaciones?
Edit: El thory permitió que los tipos de las variables a tener transfinito valor como $\omega$, y puede ampliarse a incluso el más grande de los números ordinales.
Actualización 05-28-13 recuerdo el título del capítulo, y fue sobre "Acumulativa de pedidos y acumulativo de los tipos".
($*$)El libro fue Ettore Casari - Questioni di filosofia della matematica. Milán: Feltrinelli, 1964
