The relative consistency of the class axioms of abstraction and extensionality and the axioms of NBG in a three-valued logic. Academic Article uri icon

publication date

  • April 1972