ゲーデルの不完全性定理で言ってる証明できないことって、
例えばユークリッド幾何学の中で平行線公理が証明できないこととかですか?