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

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.