タグ: 補題(数学)

数学と数学的論理において、補助定理は、より重要な定理の証明を行うために依存する中間結果です。 実際、定理を証明…