 That classical, first-order logic should be given this role is perhaps not surprising. It has rules which are more or less intuitive, and is simple for how strong it is. As we have seen in section 5, classical, first-order logic has interesting and important meta-theoretic properties, such as soundness and completeness, that have lead to many important mathematical and logical studies.