>>783
三段論法を含む任意の数学の証明は、三段論法を含まない別証明を持つことを示せ、という問題がわかりません