Formula bene formata
In logica mathematica formula bene formata est sequentia symbolorum verborumve cuiusdam in quadam linguae formali sive naturali quae est quoad syntaxin spectat recte constructa et cui dari possit significatio semantica. Formulae bene formatae ergo non sunt necessitudine intelligibiles.