Open-world assumption


open-world assumption is a axiom.