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(x₁, ..., x_n) platí (Vx₁)...(Vx_n)(A(x₁, ..., x_n) <-> A(j(x₁), ..., j(x_n)))?

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