aksjomat konstruowalności 1

noundomain: thinkingregister: specj.
Słowosieć [ver.5.0]
PolishPolish
Definition

zdanie orzekające, że każdy zbiór jest konstruowalny.

  • 1.Można zaryzykować tezę, że współcześni matematycy nie mają wątpliwości że założenia istnienia dużych liczb które są niesprzeczne z aksjomatem konstruowalności są całkowicie akceptowalne.
  • 2.Aksjomat konstruowalności jest niezależny od standardowych aksjomatów ZFC (ani tego aksjomatu, ani jego zaprzeczenia nie można udowodnić na gruncie ZFC).

Project co-funded by European funds

FENG