上北沢・哲英会（個人塾）連絡用ブログ　 >> 2013年12月に投稿されたエントリー一覧

wo8r訳

2013/12/30(月) 12:07:24：記事の固定リンク

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

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

category:記事 | tag： | この記事を編集

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

▲TOPへ