об виртуализацию?
Sunday, 7 April 2013 14:17![[personal profile]](https://www.dreamwidth.org/img/silk/identity/user.png)
Дык, в чём проблема-то? Выбираете в качестве метатеории M какую-нибудь теорию множеств (например, ZFC), строите в ней счётную модель теории множеств T (можете в качестве неё взять тоже ZFC), в этой теории множеств стандартным образом строите натуральные числа, определяете рациональные, затем - действительные. Поскольку модель теории T с точки зрения M счётная, то в этой модели все множества не более чем счётные, в том числе - и множество действительных чисел. Но в самой теории T это множество, разумеется, несчётное. Наглядней некуда.
http://dxdy.ru/topic19133-15.html
http://dxdy.ru/topic19133-15.html
no subject
2013-04-07 11:31 (UTC)no subject
2013-04-07 11:34 (UTC)no subject
2013-04-07 11:45 (UTC)