前に集合Xに対し集合Ｆを

X∈F
Y∈F､Ｚ∈Ｙ⇒Z∈F

を満たす最小のクラスとしたとき、

Fの任意の元がシングルトン⇒Fは有限集合

の証明を書いたんだけど、まるで理解できなかったらしい。
証明書く能力はおろか、人が書いた証明を読む能力がまるでない。
曰く、その能力を身につけるつもりもサラサラないそうな。
数学に興味はあるけど、数学を理解するつもりは全然ないというスタイルらしい。