思うに氏はIVを書いた時点で
・数学が一階述語論理上の理論である
ということを認識してなかったんじゃないデスかねー
（なにせZFCGはZFCの保存拡大だと思ってたくらいだから
そしてたぶん今でも理解を拒絶してる「認知的不協和」状態）
IVでは単に「ZFC」だったのが年頭ブログでは
「一階述語理論としてのZFC」になってるわけなんだが
おそらくは「一階述語論理」という言葉自体
形式化の話を聞くまで気にしたこともなかったんじゃ？
（メタ数学やらないんならそれで無問題
しかしメタ数学をやるんなら細心の注意がいるところ）
ブログでは自身の無理解の責任を転嫁して
・多くの数学者が脳内で当たり前に処理してること
なんてゴマかしてるんじゃないデスかねー
そして形式化できなかった際の言い訳として
・「Leanの専門家」が不自然なことをしてるせい
を用意してるのかしらん