項の構成手続き
論理式の構成手続き
証明の記述