История изменений
Исправление firkax, (текущая версия) :
Любая формула, в отношении некоей теории, является либо аксиомой (постулат, на котором основывается теория), либо верной формулой, которая следует из аксиом, либо неверной формулой, которая противоречит аксиомам, либо формулой за рамками теории, если она с аксиомами никак не коррелирует.
Только к языкам программирования это всё имеет малое отношение, никто их в таких терминах не рассматривает.
Исходная версия firkax, :
Любая формула, в отношении некоей теории, является либо аксиомой (постулат, на котором основывается теория), либо верной формулой, которая следует из аксиом, либо неверной формулой, которая противоречит аксиомам, либо формулой за рамками теории, если она с аксиомами никак не коррелирует.