Different foundational frameworks (constructivism vs. classical set theory) yield incompatible model...
This proposition has not been edited since the history system was added.