>>380
演繹と帰納は論理学の用語だが、数学の証明はすべて演繹。
帰納された命題は予想でしかない。