ZF
ZF
ZF
ZF
Аксиоматика теории множеств
Современная
теория множеств строится на системе
аксиом — утверждений, принимаемых без
доказательства, из которых выводятся все
теоремы и утверждения теории множеств.Система аксиом Цермело — Френкеля (ZF) является стандартной системой аксиом для теории множеств. Эта и подобные ей системы аксиом любопытны потому, что любая математическая теория может быть «переведена» на язык теории множеств таким образом, что теоремы этой теории станут теоремами о множествах, доказуемыми из аксиом ZF.
Продолжение на Wikipedia.οrg...