zf

listen to the pronunciation of zf
Английский Язык - Английский Язык
The standard axiomatization of set theory, without the axiom of choice
Zero Force