English
式
対象式と関係式
変数と定数
「理論」の形式
（上級者向け）