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