Re: what makes it true?

grubb@xxxxxxxxxxxxxxxxx (Daniel Grubb) writes:

> 2. Set out the rules for making well formed formulas. Again, only
> finitely many rules needed.

These are inductive definitions, taken to define what is meant by
a formula. Do you see them as such?
.