Comment by iFire

Huh, this is a kind of impossibility theorem.

I think both formal logic and consensus algorithms flipped the problem of defining possibility and instead tried to define what was impossible.