Aksioma Peano: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
Tag: Suntingan perangkat seluler Suntingan peramban seluler Suntingan seluler lanjutan |
Dedhert.Jr (bicara | kontrib) →Penambahan: Perbaikan pranala |
||
Baris 54:
Aksioma Peano dapat ditambah dengan operasi [[penjumlahan]] dan [[perkalian]] dan [[urutan total|urutan total (linear)]] biasa pada [[bilangan asli#Notasi|'''N''']]. Fungsi dan relasi masing-masing dibangun dalam [[teori himpunan]] atau [[logika orde kedua]], dan dapat ditampilkan unik menggunakan aksioma Peano.
===
[[
: <math>\begin{align}
Baris 65:
: <math>\begin{align}
a + 1 &= a + S(0) & \mbox{
&= S(a + 0) & \mbox{
&= S(a), & \mbox{
\\
a + 2 &= a + S(1) & \mbox{
&= S(a + 1) & \mbox{
&= S(S(a)) & \mbox{
\\
a + 3 &= a + S(2) & \mbox{
&= S(a + 2) & \mbox{
&= S(S(S(a))) & \mbox{
\text{etc.} & \\
\end{align}</math>
[[Struktur matematika |
=== Perkalian ===
|