Egyik logikus-halmazelmélész ismerősöm azt vallja (bár ez lehet Számodra kissé szentségtörés), hogy a jelenleg létező halmazelméletek közül sok van ami ugyanolyan jól megfelelne a matek megalapozáára mint ZFC és csak "historical accident" , hogy éppen a ZFC vált széles körben elterjedtté.