Предположение об открытости мира

Предположение об открытости мира, (ПОМ) — предположение в формальной логике о том, что истинность утверждения не зависит от того, «известно» ли какому-либо наблюдателю или агенту о верности данного утверждения.

Оно противоположно предположению о замкнутости мира, из которого следует, что ложно любое утверждение, о котором не известно, что оно верно.

Источник: Википедия

а б в г д е ё ж з и й к л м н о п р с т у ф х ц ч ш щ э ю я