>>257
Logical Axionだけでは可算集合も全単射も何も定義できないし、（集合論の公理を導入して）集合論の中では定義できる。
それだけのことじゃないか。なにを分からんことを言っている？