>>168
ユークリッド幾何学から平行線公準を除いた理論は不完全

なぜなら平行線公準は上記の理論における決定不能命題だから

ユークリッド幾何学も非ユークリッド幾何学も無矛盾
というのはそういうこと