sf. [dal greco ónoma-atos, nome]. In logica matematica, uno dei tre livelli nei quali si può suddividere la semantica e cioè quello in cui si è in grado di stabilire anche i designati di quelle frasi di un linguaggio L che non sono enunciati veri di L.
