カテゴリー: 証明

|| 証明の形式的な表現

「証明」のための「計算方法」のこと。