上北沢・哲英会(個人塾)連絡用ブログ  >> 201312に投稿されたエントリー一覧

wo8r訳


2013/12/30
wo8r訳の記事の続きを読む
微積分学を、完全に形式主義的な数学理論として発展させるためには、実数系の公理だけでなく、さまざまな「証明法」(実数系の公理を使って、ある定理を導くことのできる方法)もすべて列挙してみせる必要がある。さらに、理論の中で使われる表現は、すべて「確立された法則」、すなわち、公理、定義、あるいは、既に証明されている定理、あるいは、受けいれられる証明法のひとつを、確立された法則に適応したものでなくてはならな...

>>wo8r訳の記事の続きを読む

| 上北沢・哲英会(個人塾)連絡用ブログ ホーム | 次ページ

▲TOPへ