Informatika és tudomány

  • kukacos
    #322
    A ZFC-ben, ami a "sztenderd" halmazelméleti alapozás, 6+1 axióma van. A +1 a kiválasztási axióma, amivel szokás sokat variálni.

    Emellett vannak olyan alapvető állítások is, amelyek függetlenek a ZFC-től, például hogy van-e olyan végtelen, ami több, mint a természetes számok végtelenje, de kevesebb, mint a valós számok végtelenje (kontinuum-hipotézis).