1 |
Definabilnost funkcijeFunkcija f s jednim argumentom je definabilna (moe se definirati) u sustavu akko je jako zastupljena u sustavu, recimo s isf Axy, te (x)(y)(z)[Axy(Axz y=z)]. Vidi reprezentacija funkcije.
|
<< Deduktivni aparat | Ekskluzivna disjunkcija >> |