Matematiksel teori - Mathematical theory

Bir matematiksel teori , bir dizi aksiyoma dayanan bir matematik dalının matematiksel bir modelidir . Aynı zamanda bir bilgi bütünü de olabilir (örneğin, bilinen aksiyomlara ve tanımlara dayalı olarak) ve bu nedenle, bu anlamda, yerleşik çerçeve içinde bir matematiksel araştırma alanına atıfta bulunabilir.

Açıklayıcı derinlik, matematikteki en önemli teorik erdemlerden biridir. Örneğin, küme teorisi, sayı teorisi ve geometri / analizi sistematikleştirme ve açıklama yeteneğine sahiptir. 1 <3, 2 + 2 = 4, 6-1 = 5 gibi aritmetik gerçeklerin yaygın mantıksal gerekliliğine (ve kendini kanıtlamasına) rağmen, bu tür gerçeklerin sonsuz bir kar fırtınasını varsayan bir teori yetersiz olacaktır. . Daha ziyade, yeterli bir teori, bu tür gerçeklerin, ZFC aksiyomatik küme teorisinin temelinde yatan Peano Aksiyomları veya küme teorik aksiyomları gibi açıklayıcı olarak önceki aksiyomlardan türetildiği bir teoridir.

Aksiyomatik küme teorisinin tekil başarısı, klasik matematiğin bütününün bir avuç aksiyomdan türetilmesi için bir temel oluşturma yeteneğidir. Küme teorisinin bu kadar değerli olmasının nedeni, açıklayıcı derinliği nedeniyledir. Dolayısıyla, açıklayıcı derinliği olmayan sonsuz sayıda aritmetik gerçeği öne süren bir matematiksel teori, Peano aritmetiğine veya Zermelo-Fraenkel küme teorisine ciddi bir rakip olmaz.

Ayrıca bakınız

Referanslar

Dış bağlantılar