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

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

2013-04-07 11:31 (UTC)
- Posted by [identity profile] crema-catalana.livejournal.com
Ну і що? Потужності множин в теорії Т не тотожні потужностям в теорії М. Звідси наслідок: теорія — вещ хороша, але в хозяйстві непотрібна.

2013-04-07 11:34 (UTC)
- Posted by [identity profile] gns-ua.livejournal.com
теории всякие, мощности...голова пухнет. взять все и подеьить

2013-04-07 11:45 (UTC)
- Posted by [identity profile] crema-catalana.livejournal.com
Поделить на задуманное ))

Profile

gns_ua: (Default)
gns_ua

April 2017

M T W T F S S
     12
3456789
10111213141516
17181920212223
24252627282930

Expand Cut Tags

No cut tags