>>662
だったら
「Fの任意の元がシングルトン⇒Fは有限集合」
の誤りも即座に分かるでしょう?