>>181
群論の公理系とか実数体の公理系とか構成的に無矛盾であることが証明されている。