私にとっての数学理論：
全ては、原理的に、「∈、＝、∧、∨、⇒、¬、∀、∃」という記号と、
変数を表す記号「X_1, X_2, X_3, ...」で記述される。
数学の命題（論理式）は、これらの記号の有限個の組み合わせでえられる、図形のうち特別なもの。
数学の推論または証明とは、これらの論理式の、図形としての有限回の変形規則。
ここには無限は出てこない。全てが有限回の操作で終了する。