>>567
数学的帰納法を仮定しない自然数論の例を教えてください
私は知りません