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ětSmazatTaky myslíš na to co já? Hm. A kolik Ti to vyšlo? :-)
OdpovědětSmazatNo 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ětSmazatLépe jsem to graficky ztvárnil, podtržítko značilo dolní index.
OdpovědětSmazatNechci nic říkat, ale Chinin je dneska hodně hořký... :-)
OdpovědětSmazatJá bych to taky chtěla zkusit, ale nemůžu. Nezobrazují se mi mi v těch závorkách žádná čísla.
OdpovědětSmazat