User blog comment:DontDrinkH20/H-Boogol-Boogol Bit by bit: PART 1: Model Theory 101/@comment-35470197-20180901140237/@comment-36540075-20180901191641

I didn't mean every theory, I just meant every system of mathematics (those which can interpret arithmetic) but I didn't really want to overwhelm them, just give them a preview. I guess it is a good idea to clarify that though, so thanks.

Good job pointing out typos, you are like an unpaid editor for me at this point :D

Also, what do you mean by "typo of \(\forall v_n(\varphi)\)"? Could you clarify what the proper wording would be?