証明の厳密性:記号表現と論理連鎖の整合性