Open WIKI
Home
Sources
About
Contacts
⯈
☰
Open-world assumption
open-world assumption
is a
axiom
.