Alternative semantics (fuzzy, many-valued) preserve Mostowski's structural results differently.
This proposition has not been edited since the history system was added.