بديهيات بيانو (Q1781118)

من Marefa data

تعريف مسلماتي لمجموعة الأعداد الصحيحة الطبيعية عبر 5 بديهيات

حسابيات بيانو

اللغة	التسمية	الوصف	أسماء أخرى
العربية	بديهيات بيانو	تعريف مسلماتي لمجموعة الأعداد الصحيحة الطبيعية عبر 5 بديهيات	حسابيات بيانو
الإنجليزية	Peano axioms	axiomatic system for the natural numbers	Dedekind–Peano axioms Peano postulates Peano arithmetic

بيانات

Wikidata item ^{الإنجليزية}

٠ مرجع

Freebase ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

instance of ^{الإنجليزية}

نظام بديهي

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

named after ^{الإنجليزية}

جوزپى پيانو

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

ريتشارد ددكيند

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Encyclopædia Britannica Online ID ^{الإنجليزية}

topic/Peano-axioms

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

has part(s) of the class ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

has part(s) ^{الإنجليزية}

principle of mathematical induction ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

Microsoft Academic ID ^{الإنجليزية}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

defining formula ^{الإنجليزية}

{\begin{aligned}&\exists x\not \exists y\colon y^{+}=x\\&\forall x\forall y\colon x^{+}=y^{+}\implies x=y\\&\phi (0)\land (\forall n\colon \phi (n)\implies \phi (n^{+}))\implies \forall n\colon \phi (n)\end{aligned}}

١ مراجع

Imported from Wikidata item ^{الإنجليزية}

وصلات الموقع

Marefa(٠ : لا وصلات)

ويكيبيديا(١ وصلة واحدة)

enwiki Peano axioms

مجلوبة من «https://data.marefa.org/w/index.php?title=Q1781118&oldid=28728875»