Aksjomat Martina

Aksjomat Martina – zdanie postulujące pewną własność zbiorów uporządkowanych.

Zdanie to jest używane w teorii mnogości i pokrewnych dziedzinach matematyki. Jest niezależne od standardowych aksjomatów ZFC, tzn. nie można go udowodnić na gruncie tych aksjomatów ani nie można go obalić. Ponieważ ma wiele ciekawych konsekwencji, jest traktowane przez matematyków jako dodatkowy aksjomat, który może być zakładany, jeśli tego wymaga dowód. W tym sensie pozycja aksjomatu Martina może być porównana do pozycji zajmowanej przez hipotezę continuum (CH).


From Wikipedia, the free encyclopedia · View on Wikipedia

Developed by Nelliwinne