Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
307 kez görüntülendi

$K$ ve $L$ iki küme olsun.

$A1.$ $K$'nın herhangi iki elemanı, $L$'nin yalnız bir elemanına dahildir(elemanıdır.)

$A2.$ $K$'nın hiçbir elemanı $L$'nin ikiden fazla elamanına dahil değildir.

$A3.$ $L$'nin bir tek elemanı, $K$'nın tüm elemanlarını içermemektedir.

$A4.$ $L$'nin herhangi iki elamanı, $K$'nın bir tek elemanını içermektedir.

$A5.$ $K$'nın ikiden fazla elemanını içeren hiçbir $L$ elemanı yoktur.


$Soru:$ Yukarıdaki aksiyom sistemi tutarlı mıdır?

Lisans Matematik kategorisinde (691 puan) tarafından  | 307 kez görüntülendi

ZCF gibi şeyler ile ilgili bu tarz tartışmalar olurdu, hoşuma gitti , güzel bir şey bence.

Anlamadığım nokta, Elemanların birbirlerini dahil etme durumu, bu elemanların küme gibi olması değil midir?

Evet, elemanlar da kümeler demek ki.

Bu tarz kanıtların akıl yürütmesini merak ettim ben de

Öyle bir model bulmalısın ki o modelde bu aksiyomlar doğru olmalı
20,240 soru
21,759 cevap
73,407 yorum
2,079,353 kullanıcı