俺の2chの書き込みが破綻したのは、まあどうでもいいんだが
もっちーの論文の信頼性が微妙に破綻しかけてることのほうがまずい

もっちーはDrakeを一応持ってるみたいだから、巨大基数とは何か、
みたいなことは或る程度知ってると思う

たぶん代数幾何学者は集合論には興味を持って勉強しようとするだろうけど、
一階述語論理についてきちんと勉強しようという気にはならないんだと思う（数学者的には、そらそうだわな）

集合論の言語は< =, ∈>であって保存拡大かどうかは
言語を意識的にfixして考えないといけない、とか
公理的な集合論を勉強するときはコンパクト性定理とかL-S定理とか
完全性定理と不完全性定理を知っていることは
基礎知識として仮定されていることが多い、とかそういうところで躓くんだと思う