LINUX.ORG.RU

История изменений

Исправление record, (текущая версия) :

но они проверяемы на соответствие физике.

Задача аксиом - не противоречить теории, а не проверяться. Их вообще проверить нельзя, но можно только посмотреть, что в локальном случае они соответствуют теории.

Но это не проверка их истинности в данной теории.

Исправление record, :

но они проверяемы на соответствие физике.

Задача аксиом - не противоречить теории, а не проверяться. Их вообще проверить нельзя, но можно только посмотреть, что в локальном случае они соответствуют теории.

Но это не проверка их истинности в данной теории. Они истинны по умолчанию.

Исправление record, :

но они проверяемы на соответствие физике.

Задача аксиом - не противоречить теории, а не проверяться. Их вообще проверить нельзя, но можно только посмотреть, что в локальном случае они соответствуют теории.

Но это не проверка их истинности в данной теории.

Исправление record, :

но они проверяемы на соответствие физике.

Задача аксиом - не противоречить теории, а не проверяться. Их вообще проверить нельзя, но только посмотреть, что в локальном случае они соответствуют теории.

Но это не проверка их истинности в данной теории.

Исходная версия record, :

но они проверяемы на соответствие физике.

Их задача - не противоречить теории, а не проверяться. Их вообще проверить нельзя, но только посмотреть, что в локальном случае они соответствуют теории.

Но это не проверка их истинности в данной теории.