2007-03-13から1日間の記事一覧

公理と定理と、抽象クラスと具体クラス

実家帰っている間に、1年ほど前に買った数学の本の復習をちょっとやった。その本には、表面的には異なる問題の共通の性質を抽象的に記述したものを「公理」、その公理だけで導き出した結論は公理を満たす全ての問題に対して成り立つ、と書かれていた。これを…