Inter-universal geometry と ABC予想 52at MATHInter-universal geometry と ABC予想 52 - 暇つぶし2ch767:132人目の素数さん 20/05/12 06:03:30 gmSQkuCI.net>>712 >(PAって)自然数の部分集合を一つの対象として扱えないから、 >実数すら扱えないんじゃね? 確かに、PAで実数は定義できないから解析学は展開できないね 一方で、PAに算術的内包公理を追加したACAでは実数が定義可能 かつ、大抵の数学の定理はACAで証明できる そして、ACAでも証明できる算術の定理はPAと同じ したがって、もしABC予想がACAで証明可能ならPAでも証明できる 次ページ最新レス表示レスジャンプ類似スレ一覧スレッドの検索話題のニュースおまかせリストオプションしおりを挟むスレッドに書込スレッドの一覧暇つぶし2ch