Аксиома
Аксио́ма (Ancient Greek: ἀξίωμα «утверждение, положение») или постула́т — исходное положение какой-либо теории, принимаемое в рамках данной теории истинным без требования доказательства и используемое при доказательстве других её положений, которые, в свою очередь, называются теоремами[1].
Колмогоровская сложность
Теорема. Существует такая константа formula_136 (которая зависит только от частной аксиоматической системы и выбранного языка описания), что ни для одной строки утверждение
не может быть доказано в рамках formula_129.