論理の厳密性:記号的表現と論理連鎖の完全性