(Q278770)

English

Von Neumann–Bernays–Gödel set theory

axiomatic set theory

In more languages
default for all languages
No label defined

No description defined

Statements

Identifiers