Oleh: nemu | 23 Maret, 2008

Khayalan Identitas ( 3 )

Asal Usul, Cikal Bakal, Asal Mula, Nenek Moyang

D30. \ulcorner(*\zeta)\urcorner\quad untuk \quad\ulcorner\hat{\alpha}\hat{\beta}(\gamma)(\beta''\gamma\subset\gamma.\beta\epsilon\gamma.\supset.\alpha\epsilon\gamma)\urcorner

Fungsi

D31. \ulcorner(\zeta'\eta)\urcorner\quad untuk \quad\ulcorner(\imath\alpha)\zeta(\alpha,\eta)\urcorner

D32. \ulcorner(\mathfrak{r}\zeta)\urcorner\quad untuk \quad\ulcorner\hat{\beta}(\exists\gamma)(\alpha)(\alpha=\gamma.\equiv\zeta(\alpha,\beta))\urcorner

Abstraksi dari Fungsi

D33. \ulcorner(\lambda_{\alpha}\zeta)\urcorner\quad untuk \quad\ulcorner\hat{\beta}\hat{\alpha}(\beta=\zeta)\urcorner

Identitas dan Keanggotaan satu Relasi

D34. '\textit{I}'\quad untuk '\lambda_{\lambda}x'\quad

D35. '\mathcal{E}'\quad untuk \quad'\hat{x}\hat{y}(x \epsilon y)'

Nol, Satu, Suksesor

D36. '0'\quad untuk \quad'\iota\Lambda '

D37. '1'\quad untuk \quad'\hat{x}(\exists y)(y \epsilon x.x \cap\overline{\iota y} \, \epsilon\,0 ) '

D38. '2'\quad untuk \quad'\hat{x}(\exists y)(y \epsilon x.x \cap\overline{\iota y} \, \epsilon\,1 ) '

D39. 'S'\quad untuk \quad'\lambda_{z}\hat{x}(\exists y)(y \epsilon x.x \cap\overline{\iota y} \, \epsilon\, z ) '

Bilangan Natural

D40. ' Nn '\quad untuk \quad' (\ast S'' \iota 0)'

Himpunan Counter

D41. ' Sa '\quad untuk \quad' \lambda_{z}(x \cup \iota x) '

D42. ' Cs '\quad untuk \quad' (\ast S''\iota \Lambda)'

Ditulis dalam Membuat Definisi

«
»

Beri tanggapan






Your response:

Kategori