 |
| |||
| предположение об открытости мира (предположение в формальной логике о том, что истинность утверждения не зависит от того, известно ли какому-либо агенту о верности данного утверждения Alex_Odeychuk); допущение открытости мира (the unmentioned literals are unknown Alex_Odeychuk) | |||