M×Φ

Annals of Mathematics and Philosophy

Zermelo–Fraenkel (ZF)