User blog comment:P進大好きbot/Analysis of 非想非非想 notation/@comment-35870936-20190811165336/@comment-35470197-20190811213215

I am not creating the same version, but a stronger version based on Rathjen's strategy. In order to complete this, I am proving several properties in set theory. Therefore it will not come so soon.