{linguistic truth} is the foundation of truth in mathematical logic

A whole body of {linguistic truth} can be defined as expressions
of language that are true on the basis of their meaning expressed
in this same language.
Expressions that can only be known to be true on the basis
of observation belong to a different class of knowledge.
--
Copyright 2024 Olcott "Talent hits a target no one else can hit; Genius
hits a target no one else can see." Arthur Schopenhauer