2 reakcí na tento příspěvek (reakce na) Pojdme zkusit to IQ
1 reakcí na tento příspěvek (reakce na) Pojdme zkusit to IQ
Cucka píše: Veverčák> horsi pro me byly derivace..kratce pote sem se na to vysrala
Derivace se daly. Ještě i několikanásobné integrály s nějakou transformací nebyl problém pochopit. Horší bylo:
Nechť T je rekurzivně axiomatizovaná teorie v jazyce aritmetiky obsahující Robinsonovu aritmetiku, taková, že struktura přirozených čísel je jejím modelem. Pak existuje sentence ν , která není v T dokazatelná ani vyvratitelná.
V Peanově aritmetice není dokazatelná ani vyvratitelná sentence ConPA , kde ConPA je formule, která ve struktuře přirozených čísel vyjadřuje skutečnost, že Peanova aritmetika je bezesporná.
Každé bezesporné rozšíření Robinsonovy aritmetiky je nerozhodnutelné (dokonce rekurzivně neoddělitelné). Je-li tedy rekurzivně axiomatizovatelné, je neúplné.