Presburgerova aritmetika

Z Wikipedie, otevřené encyklopedie

Presburgerova aritmetika je jeden z axiomatických systémů formální teorie aritmetiky. Je podstatně slabší než Robinsonova aritmetika i Peanova aritmetika, zejména proto, že v jazyce neobsahuje symbol pro násobení. Pojmenována je po polském matematikovi Mojżeszi Presburgerovi, který tuto axiomatiku publikoval v roce 1929.

[editovat] Axiomy

Presburgerova aritmetika je teorie v jazyce L obsahujícím konstantní symbol 0, unární funkční symbol S a binární funkční symbol +. Axiomy jsou následující:

  • (PR1) \,0\neq S(x)
  • (PR2) \,S(x)=S(y)\rightarrow x=y
  • (PR3) \,x+0=x
  • (PR4) \,x+S(y)=S(x+y)

[editovat] Vlastnosti

  • Presburgerova aritmetika je bezesporná, úplná a rozhodnutelná teorie
  • Každá formule jazyka L je v Presburgerově aritmetice ekvivalentní nějaké formuli, která je jednoho ze tří tvarů t=s,\; (\exists z)(t+z=s),\;(\exists z)(t=s+mz), kde t,s jsou termy.

[editovat] Podívejte se také na

Související články obsahuje:
 Portál Matematika 
V jiných jazycích