証明問題というのも自明な前提があって、そこから論理を積み重ねて
いくのであるが、適当に決めた規則というのは必ずしも自明とは限らんわけであるねｗ