Пеано Аксиомы
- система из пяти аксиом для натурального ряда Nи функции S(прибавление 1) на нем, введенная Дж. Пеано (G. Реапо, 1889). для любого свойства M (аксиома индукции). В первом варианте вместо 0 использовалась 1. Сходные аксиомы независимо предложил Р. Дедекинд (R. Dedekind, 1888). П. А. Категоричны, т. Е. Любые две системы (N, S,0) и (N', S',0'), удовлетворяющие П. А., изоморфны. Изоморфизм определяется функцией f(x, x), где Существование f( х, у).для всех пар ( х, у).и взаимная однозначность при доказываются по индукции. П. А. Позволяют развить теорию чисел, в частности ввести обычные арифметич. Функции и доказать их свойства. Все аксиомы независимы, однако (3) и (4) можно объединить в одну. если определить х<у как Независимость доказывается предъявлением модели, в к-рой верны все аксиомы, кроме рассматриваемой.
Для (1) такая модель - натуральный ряд, начиная с единицы. Для (2) - множество , где S0=1/2, S (1/2)=1. Для (3) - множество {0}. Для (4) - множество {0, 1} с S0=S1=1. Для (5) - множество {-1} Иногда под арифметикой Пеано понимают систему в языке 1-го порядка с функциональными символами состоящую из аксиом определяющих равенств для и схемы индукции (см. Арифметика формальная). Лит.:[l] Клини С. К., Введение в метаматематику, пер. С англ., М. 1957. Г. Б. Минц. .
Дополнительный поиск Пеано Аксиомы
На нашем сайте Вы найдете значение "Пеано Аксиомы" в словаре Математическая энциклопедия, подробное описание, примеры использования, словосочетания с выражением Пеано Аксиомы, различные варианты толкований, скрытый смысл.
Первая буква "П". Общая длина 13 символа