「我々人間の自然な論理的思考として当然容認されるべき論法の一種」ということ?
→ No

そしてそれ自体は定式化されないと。
→ Yes()