مسلمات بيانو: الفرق بين النسختين
[نسخة منشورة] | [نسخة منشورة] |
تم حذف المحتوى تمت إضافة المحتوى
ط بوت: إضافة بوابات معادلة 1 (ᴇɴ) (بوابة:فلسفة) |
ط بوت:إصلاح تحويلات القوالب |
||
سطر 3:
أثار [[هيرمان كراسمان]] عام [[1860]] الاهتمام حول الشكليات {{إنج|formalism}} [[حسابيات|الحسابية]] من خلال أبحاثه التي بين فيها إمكانية [[استقراء رياضي|استقراء]] العديد من الحقائق الرياضية المعقدة بدءاً من حقائق قاعدية بسيطة توضح ماهية عملية التالي وطريقة القيام بالاستقراء. عام [[1881]] أوجد الرياضي [[شارل ساندرز بيرس|تشارلز ساندرز بيرس]] تبديهاً (أي تبسيطاً للحقائق) {{إنج|Axiomatization}} لحساب الأعداد الطبيعية. وقد اقترح [[ريتشارد ديدكايند]] عام [[1888]] جملةً من البديهيات المتعلقة بالأعداد، ونشر [[جيوسيبي بيانو|بيانو]] عام [[1889]] ضمن كتابه "مبادئ الحساب موضحةً بطريقة جديدة" {{لات|Arithmetices principia, nova methodo exposita}} نسخةً أكثر دقة من هذه البديهيات.
تقع بديهيات بيانو ضمن ثلاث فئات: تحتوي '''الفئة الأولى''' على بديهية واحدة تجزم وجوب احتواء مجموعة الأعداد على عنصر واحد على الأقل.<ref>{{
== البديهيات ==
|