20/05/12 06:03:30 gmSQkuCI.net
>>712
>（PAって)自然数の部分集合を一つの対象として扱えないから、
>実数すら扱えないんじゃね？
確かに、PAで実数は定義できないから解析学は展開できないね
一方で、PAに算術的内包公理を追加したACAでは実数が定義可能
かつ、大抵の数学の定理はACAで証明できる
そして、ACAでも証明できる算術の定理はPAと同じ
したがって、もしABC予想がACAで証明可能ならPAでも証明できる
20/05/12 06:03:30 gmSQkuCI.net
>>712
>（PAって)自然数の部分集合を一つの対象として扱えないから、
>実数すら扱えないんじゃね？
確かに、PAで実数は定義できないから解析学は展開できないね
一方で、PAに算術的内包公理を追加したACAでは実数が定義可能
かつ、大抵の数学の定理はACAで証明できる
そして、ACAでも証明できる算術の定理はPAと同じ
したがって、もしABC予想がACAで証明可能ならPAでも証明できる