数学 七年级 填空题 较难 ★ 精品

公理、定理与证明 — 数学填空题

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

题目
在某推理体系中,公理A被规定为无需证明的推理起点。命题B声称可由A推出,但尚未给出推理过程;命题C已由A经过合乎逻辑的推理证明。此时,B要被认定为定理还需____;C属于____。