第1可算公理とか第2可算公理ってどういう意味があるの?
そんなの定義してどう使われるの?