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.

Notae

Demonstratio mathematica
Formula (mathematica)
Logica propositionalis
Syntaxis

Logica
Syntaxis