>>230
>ペアノ公理系から

なんでペアノ公理系からなの？
集合論の公理系でいいじゃない。
そこからフェルマーは証明されてんでしょ。