Ayon sa (Ⅰ) (Ⅱ), f - {(0, x1)} ay nakabuod relasyon na may pagkakasalungatan sa minimum ng f, kaya ∃ X ∈ A, (0, x) ∈ f!.
2 pagpapalagay m, ∃! X1 ∈ A, s.t. (m, x1) ∈ f.
Susunod na namin patunayan na ang m , ∃! X ∈ A, (m , x) ∈ f. Dahil ang induction teorya (m, x1) ∈ f, at f natutugunan ang induction tuntunin ng relasyon (Ⅱ), kaya (m , h (x1) .) ∈ f Isaalang-alang ang x natatangi, ipagpalagay ∃ t ≠ h (x1), st (m , t) ∈ f pagsasaalang-alang set f -. {( m, t)}, ito natutugunan ng
(Ⅰ) (0, x0) ∈ f - {( m, t)} (para sa m ≠ 0)
(Ⅱ) hayaan (n, x) ∈ f - {(m , t)}, bilang f -. {(M , t)} ⊂ f, sa gayon ay (n, x) ∈ f Dahil f ay pasaklaw relasyon, kaya ( n , h (x)) ∈ f. Kailan n = m (ibig sabihin n = m) ay, x = x1, kaya na h (x) = h (x1) ≠ t. kaya (n , h (x)) ≠ ( m , t) ang ( n, h (x)) ∈ f -. {( m, t)}.Ayon sa (Ⅰ) (Ⅱ), f - {( m, t)} ay din ng isang kaugnayan sa pagitan ng pagtatalaga sa tungkulin, kung saan ay ang minimum na f pagkakasalungatan, kaya ∃ X ∈ A, (m , x) ∈ f!.
Kaya, ayon sa mga prinsipyo ng mathematical induction, f ay isang katangian ng N sa A.
Dahil f natutugunan ng:. Ⅰ (0, x0) ∈ f;
Ⅱ. Kung (n, x) ∈ f, ang ( n, h (x)) ∈ f.
Samakatuwid, Ⅰ. F (0) = x0
Ⅱ. Kapag f (n) = x kapag, f (n ) = h (x) = h (f (n))
Kaya, recursive kahulugan ng pagkamaykatwiran ay satisfactorily di-napatutunayang.
|