ありもせん、事実に基づくのは、
科学でなくて、宗教や。

選択公理は ZFC / AC ともにちょっとばかり度が過ぎる。