数理論理学勉強しようと思って新井の数学基礎論読み始めてすぐに詰まった
一階の述語論理を定式化するところで、記号列を構造によって集合の話として解釈するって定義されてるけど
その集合の話には論理が必要だと思うし、そうすると一体何が基礎にあって集合やら論理がどう関係してるのか分からない
バカらしい質問かもしれないけど優しい人教えてほしいです