>>231
はい、また無知を晒しましたね。
>>228では、ペアノの公理系を満たす体系を
ZF集合論の中で実装しており、この実装の仕方を提唱したのは

「ジョン・フォン・ノイマン」

という、超がつくほど有名な数学者です。間違っているのはあなたです。