The open-world assumption is closely related to the monotonic nature of first-order logic: adding new information never falsifies a previous conclusion.
A nyílt világ feltételezése szorosan kapcsolódik az elsőrendű logika monolitikus természetéhez: új információk felvétele sohasem tesz érvénytelenné egy korábbi következtetést.