closed-world assumption

Also known as CWA

formal-logic assumption that any statement that is not known to be true is false