"True" in this context surely refers to Tarski's inductive definitioninductive definition of truth.
Martin Sleziak
- 4.7k
- 4
- 35
- 40