Les logiciens appellent ainsi les formules des phrases, des propositions, des énoncés, des assertions, des thèses, et dans certains cas, des affirmations, des lois, des hypothèses, des axiomes, des ...