I am trying to take my problem solving skill to next level. It looks like It takes a lot of mathematical discipline. Here, This post buys me to get better at proof writing.
So, I think is useful to get started with foundation of mathematics. This site looks good as start.
Now, I am stuck understanding three basic definition.
Notion: Each theory has its own list of notions, usually designated by common names, that are the kinds of variables used by the theory. Is notion are synonyms to class in OOP?
And what are the one-model theory and meta-objects?
Is there a text that intuitively teach these topics?