Yossell, I suppose what I initially wrote was not very well worded. To be honest, it was done a bit too hastily.
My apologies for the ambiguities - again, I am almost completely new to studying rigorous foundations of mathematics, and part of the issue is that I need some sort of...
I've been following the first few chapters of Yuri Manin's "A Course in Mathematical Logic for Mathematicians," and as an undergraduate who has only had basic logic and naïve set theory, the way he explained a few of the topics rubbed me the wrong way - specifically, the definitions of the...