>>152
三段論法を含む任意の数学の証明は、三段論法を含まない別証明を持つことを示せ