Класифікація Формальна арифметика поділяється на такі види: класична формальна арифметика з D-оператором; класична формальна арифметика з P-опера тором; конструктивна формальна арифметика. Джерела Формальна арифметика Основи математичної логіки Класична формальна арифметика з P-оператором формальна арифметика з D-оператором Конструктивна формальна арифметика Числення предикатів Список літератури Арнольд І. В. Теоретична арифметика. К., 1939;