User blog comment:LittlePeng9/First order oodle theory/@comment-30167082-20161222182647

Perhaps I've never really understood this but: I'm a little confused by your usage of "infinite set of variables". How are you able to set varibles within the language? Or is it that A and B and so on are defined by the language - "that smallest case in which A is a member of B"? Very confused.