лекції по мат.логике / L17-axioms-ZF
.pdfТепер ми в змозi записати АС символьно, використовуючи символьнi записи (12), (13), (14), (15) навiсивши потрiбнi квантори i з'¹днавши одержанi формули знаком кон'юнкцi¨:
9M((8x ((x 2 M) ) 9a9b(x = (a; b)))) ^ (8a9b(a; b) 2 M)^
^ (8a8b18b2 (((a; b1 2 M) ^ (a; b2) 2 M) ) (b1 = b2))) ^ (((a; b) 2 M) ) (b 2 a))): (16)
11
Покажчик
àêñiìà |
схема аксiом |
нескiнченностi, 10 |
пiдстановки, 7 |
àêñiîìà |
видiлення, 7 |
екстенсиональностi, 6 |
теорiя множин |
об'¹днання, 6 |
аксiоматична, 2 |
об'¹мностi, 6 |
iнту¨тивна, 2 |
ïàðè, 6 |
íà¨âíà, 2 |
порожньо¨ множини, 6 |
|
регулярностi, 10 |
|
степеня, 9, 10 |
|
ñóìè, 6 |
|
аксiоматика |
|
Цермело Френкеля, 3 |
|
алфавiт, 3 |
|
àòîì, 2 |
|
елемент |
|
множини, 4 |
|
ïåðâiñíèé, 2 |
|
урелемент, 2 |
|
формули |
|
n го кроку, 4 |
|
атомарнi, 4 |
|
другого кроку, 4 |
|
найпростiшi, 4 |
|
першого кроку, 4 |
|
теорi¨ множин, 4 |
|
функцiя, 9 |
|
область визначення, 9 |
|
образ, 9 |
|
êëàñ, 6 |
|
множина |
|
двоелементна, 7 |
|
порожня, 4, 6 |
|
унiверсальна, 7 |
|
ìîâà |
|
теорi¨ множин, 3 |
|
об'¹днання множин, 7 |
|
ïàðà |
|
невпорядкована, 6 |
|
впорядкована, 6 |
|
перетин множин, 7 |
|
пiдмножина, 7 |
|
предикат |
|
функiональний, 8 |
|
що зада¹ функцiю, 9 |
|
схема |
|
формул, 4 |
|
12