>>102
限られた規則・公理を使って証明する問題なら
そのへん明記するように。