Matematická hříčka na dnešní odpoledne

Stejně nemáte co dělat, tak proč si nezapřemýšlet, že.


Univerzální třída je třída všech množin.

Existuje zobrazení j z univerzální třídy do univerzální třídy takové, že není identitou a pro každou formuli A(x1, ..., xn) platí (Vx1)...(Vxn)(A(x1, ..., xn) <-> A(j(x1), ..., j(xn)))?

V je značka univerzálního kvantifikátoru.