CH's truth value is fixed in V (von Neumann hierarchy with full powersets); adopting this as primiti...
This proposition has not been edited since the history system was added.