命題と定理

定理[theorem]各節,各項において主張したい命題のこと.つまり,証明された命題の中でも特に重要な命題のこと.
命題[proposition]ある体系の中で真であると証明された主張のこと.特に,命題のうち,他でも用いられるような汎用性の高い命題のこと.
補題[lemma]目的の定理を証明するための準備となる命題のこと.つまり,定理などを証明するためのローカルな命題のこと.
系[corollary]既知の命題から直ちに従う命題のこと.


Mathematics is the language with which God has written the universe.





















測度 - 命題と定理 - 古生代 Paleozoic Era - 原生代 Proterozoic Eon - 水素