0663132人目の素数さん垢版 | 大砲2019/01/19(土) 12:09:32.87ID:9TwxXMZH >>662 aが停止することを仮定した上で、 ペアノの公理系の範囲内でa+1も停止することが証明できてしまったら、 それはただの数学的帰納法であって、ペアノの公理系の中で グッドスタインの定理が証明できたことになるので、 証明も反証もできないことに矛盾する …と考えると、別に不思議ではないような