Английская Википедия:Equiconsistency: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

4 марта 2024

  • текущ.пред. 04:2304:23, 4 марта 2024EducationBot обсуждение вклад 5737 байт +5737 Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Being equally consistent}} In mathematical logic, two theories are '''equiconsistent''' if the consistency of one theory implies the consistency of the other theory, and vice versa. In this case, they are, roughly speaking, "as consistent as each other". In general, it is not possible to prove the absolute con...»