0182132人目の素数さん垢版 | 大砲2018/07/05(木) 11:01:18.31ID:7dN/LoAC >>181 群論の公理系とか実数体の公理系とか構成的に無矛盾であることが証明されている。