Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)

Аксиомы Пеано

Пред. тема | След. тема

Cad

Аксиомы Пеано

22.07.2013, 03:41

Помогите пожалуйста доказать, используя все аксиомы (включая индукцию):

$(\forall x)(x = 0 \bigvee(\exists y) x = Sy)$

Xaositect

Re: Аксиомы Пеано

22.07.2013, 13:31

Тут обсуждалось.

Страница 1 из 1

[ Сообщений: 2 ]

Список форумов » Математика » Помогите решить / разобраться (М) » Чулан (М)

Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group