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.

6 komentářů:

  1. to je prosim z ceho? abych se te instituci vyhnul nekolika kilometrovym obloukem.

    OdpovědětVymazat
  2. Taky myslíš na to co já? Hm. A kolik Ti to vyšlo? :-)

    OdpovědětVymazat
  3. No mne tam chybi tak nejak, co se po mne chce? A co znamena x_1? x(1), nebo x na prvou, nebo uplne neco jineho?

    OdpovědětVymazat
  4. Lépe jsem to graficky ztvárnil, podtržítko značilo dolní index.

    OdpovědětVymazat
  5. Nechci nic říkat, ale Chinin je dneska hodně hořký... :-)

    OdpovědětVymazat
  6. Já bych to taky chtěla zkusit, ale nemůžu. Nezobrazují se mi mi v těch závorkách žádná čísla.

    OdpovědětVymazat