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.
to je prosim z ceho? abych se te instituci vyhnul nekolika kilometrovym obloukem.
OdpovědětVymazatTaky myslíš na to co já? Hm. A kolik Ti to vyšlo? :-)
OdpovědětVymazatNo 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ětVymazatLépe jsem to graficky ztvárnil, podtržítko značilo dolní index.
OdpovědětVymazatNechci nic říkat, ale Chinin je dneska hodně hořký... :-)
OdpovědětVymazatJá bych to taky chtěla zkusit, ale nemůžu. Nezobrazují se mi mi v těch závorkách žádná čísla.
OdpovědětVymazat