Comment by Gehinnn

Well, the peano arithmetic can be described directly as first order logic without set theory ;)

I'm fine with having an intuition for sets, but I think reals really should be defined properly. At least, R should not be confused with the algebraic closure of Q.