об виртуализацию?

[gns_ua]

Дык, в чём проблема-то? Выбираете в качестве метатеории M какую-нибудь теорию множеств (например, ZFC), строите в ней счётную модель теории множеств T (можете в качестве неё взять тоже ZFC), в этой теории множеств стандартным образом строите натуральные числа, определяете рациональные, затем - действительные. Поскольку модель теории T с точки зрения M счётная, то в этой модели все множества не более чем счётные, в том числе - и множество действительных чисел. Но в самой теории T это множество, разумеется, несчётное. Наглядней некуда.

http://dxdy.ru/topic19133-15.html