0170132人目の素数さん垢版 | 大砲2017/07/15(土) 08:19:14.78ID:OkksdbBE >>168 ユークリッド幾何学から平行線公準を除いた理論は不完全 なぜなら平行線公準は上記の理論における決定不能命題だから ユークリッド幾何学も非ユークリッド幾何学も無矛盾 というのはそういうこと