中身が公理だけ
高度な応用の証明がぜんぶ「公理の複雑な組み合わせで解けばおk。」