I primi elementi della sintassi e della semantica del Calcolo dei Predicati del primo ordine (predicati, proposizioni, formule, interpretazioni, ecc.) sono introdotti nell'ambiente delle teorie base dei Fondamenti della Matematica di [11]. Il problema della verità e falsità delle proposizioni è affontato introducendo, a fianco delle ordinarie qualità $Qver$, $Qfals$, che non possono valutare tutte le proposizioni (Teorema 1), nuovi «oggetti metateorici», le metaqualità $Mver$, $Mfals$ che, indipendenti dalle relazioni...