VDict mobile



axiomatisation not found. Suggestions:

ZFC
set theory
axiomatic set theory