>>276
公理を追加して矛盾をなくすことはできない