Rusela paradokso: Malsamoj inter versioj

Ĉi tiu [[difino]] kondukas al [[kontraŭdiro]]: Se M entenas sin mem, ĝi ne entenas sin mem pro la difino de M. Kaj se M ne entenas sin mem, ĝi entenas sin mem, denove pro la difino de M.

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 korespondasrespondas al la [[ekstensioplivastigo]] de la nocio "estas ekstensioplivastigo de iu nocio kaj ne havas la econ de tiu nocio". Ĉi tiu ekstensioplivastigo havas la econ de tiu nocio se kaj nur se ĝi ne havas tiun econ.