6.2. Формальная арифметика

Формальная арифметика – теория первого порядка со следующими специальными символами.

1) Предметная константа 0.

2) Двуместные функциональные буквы и , одноместная функциональная буква .

3) Двуместная предикатная буква .

Собственные аксиомы следующие:

1) .

2) .

3) .

4) .

5) .

6) .

7) .

8) .

9) .

Здесь – произвольная предикатная буква.

< Предыдущая		Следующая >