数学 七年级 应用题 标准 ★ 精品

公理、定理与证明 — 数学应用题

苏教版·数学 第12章 证明 AI 三重审校通过

题目
数学社整理推理档案时,记录了四条命题:甲被规定为推理起点,无需证明;乙虽为真命题,但尚无证明;丙已由公理经过合乎逻辑的推理证明;丁已由公理和丙经过合乎逻辑的推理证明。档案中有几条命题可称为定理?