1 paper · 1 filter
Ju. T. Lisica
The basic one in this work is the axiomatic set theory NBG (von Neumann-Bernays-G{ö}del), which is a first-order theory with its own axioms, including in particular the axiom of…