Does positive set theory [$\sf GPK^+\_\infty$](https://en.wikipedia.org/wiki/Positive_set_theory#Axioms) prove the existence of a set $K= \{x \mid x \text { is von Neumann ordinal } \lor x=K\}$



Does positive set theory prove the existence of a set of all ordinals and itself?
I came to know that this question had been answered to the positive by the founder of $\sf GPK^+\_\infty$ himself at an article of him titled: [Inconsistency of GPK + AFA](https://onlinelibrary.wiley.com/doi/10.1002/malq.19960420109). At Journal Math.Log.Quart 1996: vol. 42, issue 1, page 107


