Any consistent fragment (NFU, Hume's Principle) must restrict the domain of concepts or predicates t...
This proposition has not been edited since the history system was added.