>>456
定理Bの反例
1つの公理のみから成る公理系全ての中には、矛盾する公理系が少なくとも1つ存在する