¿Prueba la teoría positiva de conjuntos la existencia de un conjunto de todos los ordinales y de sí mismo?

Question

¿La teoría positiva de conjuntos $\sf GPK^+_\infty$ demostrar la existencia de un conjunto $K= \{x \mid x \text { is von Neumann ordinal } \lor x=K\}$

Answer 1

Llegué a saber que esta pregunta había sido respondida positivamente por el fundador de $\sf GPK^+_\infty$ a sí mismo en un artículo suyo titulado: Inconsistencia de GPK + AFA . En Journal Math.Log.Quart 1996: vol. 42, número 1, página 107