Jak wiadomo hipoteza continuum i aksjomat wyboru nie dają się ani obalić, ani
zaprzeczyć w aksjomatyce ZF przez co zyskują one wg mnie na ciekawości
produkując pewne interesujące twierdzenia oraz interesujące konstrukcje jak np.
zbiór Vitaliego, samo pojęcie zbioru niemierzalnego (w sensie Lebesguea)
twierdzenie Banacha-Tarskiego, albo na przykład konstrukcja Polish Monster
(niemierzalna funkcja sup-mierzalna o ile pamiętam... (Z. Grande)).
Czy zna ktoś inne niesprzeczne i niezależne aksjomaty w teorii innej niż
teoria mnogości?
Pozdrawiam
Michał Jezierski
www.math-forum.eu
--
Wysłano z serwisu Usenet w portalu Gazeta.pl -> http://www.gazeta.pl/usenet/