Logical axioms (identity, non-contradiction) hold in all possible worlds, making conclusions from th...
This proposition has not been edited since the history system was added.