>>551
その方法で定義した自然数モドキは数学的帰納法を満たすことを証明できない