Rusela paradokso: Malsamoj inter versioj

25 bitokojn aldonis ,  antaŭ 14 jaroj
e
subkat.
e
e (subkat.)
 
En la sistemo de Cantor, M estas [[bone difinita]] aro, do ĝi devus aŭ enteni sin mem aŭ ne enteni sin mem. En la sistemo de Frege, la aro M korespondas al la [[ekstensio]] de la nocio "estas ekstensio de iu nocio kaj ne havas la econ de tiu nocio". Ĉi tiu ekstensio havas la econ de tiu nocio se kaj nur se ĝi ne havas tiun econ.
 
[[Kategorio:Aroteorio]]
243

redaktoj