Individual warrant for set axioms (comprehension principle) proved insufficient to guarantee the joi...
This proposition has not been edited since the history system was added.