学部の代数学の教科書レベルでも一階述語論理のＺＦＣじゃ無理なんだっけ
数理論理学-超準解析なんたらってオレンジ色の本で読んだことある