#1: Klase Autor/ica: DanijelM, Postano: 18:20 pet, 11. 4. 2008 Kako se zna da je uzrok paradoksa o kojima se priča na ovom kolegiju to što su ti "skupovi"(prave klase) "preveliki" ? Ima li strogi dokaz ?
#2: Autor/ica: Melkor, Lokacija: VoidPostano: 22:19 pet, 11. 4. 2008 Pa sjeti se što ti ustvari znači ovo "preveliki". To upravo znači "previše toga je dozvoljeno kao definicijski predikat".
Npr. ako uzmeš princip komprehenzije: "sve je dozvoljeno kao definicijski predikat", odnosno za bilo koji predikat postoji skup , onda ti nitko ne brani da staviš . I onda dobiješ Russellov paradoks.
Sad ne znam jesam li pogodio što te muči... Za što točno želiš strogi dokaz?