（数学の分野としての）論理を学ぶには、事前に、他分野（解析とかトポロジーとか）を学ぶ場合と同等な論理的能力が要求される。「箱を開ける鍵は箱のなか」状態となり、ラチが明かない。証明のやり方（How to Prove）ということなら、「みんなが使っている…

形式的定義 定理 問題 $`\newcommand{\mrm}[1]{\mathrm{#1}} \newcommand{\hyp}{\text{－} } \newcommand{\id}{\mathrm{id}} \newcommand{\In}{\text{ in } } \newcommand{\ie}{\text{i.e. }\: } \require{color} % 緑色 \newcommand{\Keyword}[1]{ \textcol…