前提条件(公理?)から厳密な規則と論理によって定理を証明する、とか?