= Metamath {c} {wiki} http://metamath.org/ It seems to implement <Zermelo-Fraenkel set theory>.
Back to article page