Quine -- Word and Object -- fave philosopher of my theory of knowledge prof undergrad, but as far as set theory and formal logic, not linguistics -- more than one translation meets these criteria, and hence that no unique meaning can be assigned to words and sentences; synonym has no real reason

Tarski - model theory and indefinability -- arithmetical truth cannot be defined in arithmetic, [systemic] truth cannot be defined in [that system]