Semantica di Tarski. Dato un linguaggio e specificate le regole di formazione dei suoi enunciati (cioè la sintassi), per porsi il problema della loro.
