>>949
>>942の定義で良ければね。例えば、wikiの有限の定義（個人的にはウェーバーの）
と、デデキント無限による無限の定義を採用すると、選択公理抜きではＺＦですら

（有限でない）＝（無限）

は言えない。まあ、どうでもいいことだが。