手机版
機械的公理証明
【きかいてきこうりしょうめい】
【kikaitekikourisyoumei】
定理的机器证明
機械的公理証明
【きかいてきこうりしょうめい】
【kikaitekikourisyoumei】
机械式定理证明