定理
ある
理論体系
において、その
公理
や
定義
をもとにして
証明
された
命題
で、それ
以降
の
推論
の
前提
となるもの。
theorem
公理系
、
公理群
-
公理
（
axiom
）
公式
（
formula
）
推論規則
（
infference rule
）
予想
演繹
（
deducere
）
定理 - Wikipedia
Theorem - Wikipedia