>>58
当然、定義と前提(公理)から結論(定理)を論理的に推論することもできません