Robinsonova a Peanova aritmetika a axiom Q3

Uživatelský avatar
Trupik
Matfyz(ák|ačka) level III
Příspěvky: 251
Registrován: 3. 1. 2005 14:45
Typ studia: Informatika Mgr.
Kontaktovat uživatele:

Robinsonova a Peanova aritmetika a axiom Q3

Příspěvek od Trupik »

Axiom Q3 Robinsonovy aritmetiky je podle skript větou Peanovy aritmetiky. Víte někdo, jak to dokázat? Zdá se, že je to oblíbená otázka...
Domovská stránka: http://www.jakubmaly.cz/, blog: http://blog.jakubmaly.cz/
Petice proti olympiádě http://olympiada.nazory.cz

Come on you target for faraway laughter,
Come on you stranger, you legend, you martyr, and shine!
Uživatelský avatar
tutchek
Site Admin
Příspěvky: 795
Registrován: 21. 9. 2004 00:40
Typ studia: Informatika Mgr.
Bydliště: Praha, Bohnice
Kontaktovat uživatele:

Příspěvek od tutchek »

exAdmin. Magistr přes umělou inteligenci. Právník přes daně.
Zamčeno

Zpět na „2005“