>>533
面白そうな話ですね
いつか読もうと思います


自然数の集合Aが空で無ければ最小値が存在することについてですが、
0から初めて1つ1つ自然数ｎがAに属するかを検証することによって最小値を求めることができるのでは？
この場合Aが空でないという仮定により、いつかはあるｎに対して初めてAに属することが分かることが保証されているのだから。
だからAが再帰的集合でありさえすれば何も問題は無いかと。