19/01/19 15:27:49.61 lOkK/jxU.net
>>665
>グッドスタインに関してはちょっと勉強してみるよ。
順序数の何とか表記で証明は簡単に理解できるけど
それがペアノから証明も否定もできない（否定はできなくて当然）てことを
証明するためには
どうも超準的な自然数（ペアノを満たす）を利用するらしいから
かなり難しそうだよ
19/01/19 15:27:49.61 lOkK/jxU.net
>>665
>グッドスタインに関してはちょっと勉強してみるよ。
順序数の何とか表記で証明は簡単に理解できるけど
それがペアノから証明も否定もできない（否定はできなくて当然）てことを
証明するためには
どうも超準的な自然数（ペアノを満たす）を利用するらしいから
かなり難しそうだよ