>20
ごめん。

なにが言いたいかわからん。

ラッセルの不完全性定理と数学の公理系を盲目的に無視するなんてことはしない。