Кто-нибудь интересовался моделью теории множеств в теории числовой системы (например, моделью ZF в системе Пеано)? Здесь, пожалуй, предпочтение отдаётся системам натуральных чисел.