As part of Gödel's ontological proof of God's existence he offers a Theorem that all positive properties are possible. In his proof of it he says that impossible properties entail all properties. But why is this? Every explanation of his argument assumes it, so I don't actually know why he believed this.
Why and how does an impossible property entail all properties?