Metadata
Author: WikiMatrix
Data
English[en]
Since the publication of the first volume of Principia Mathematica, it has been claimed that most or even all mathematical theorems can be derived using an aptly designed set of axioms for set theory, augmented with many definitions, using first or second order logic.
Finnish[fi]
Siitä lähtien kun teoksen Principia Mathematica ensimmäinen nide ilmestyi, on väitetty, että useimmat tai jopa kaikki matemaattiset teoreemat voidaan johtaa asianmukaisesti laaditusta joukko-opin aksioomajärjestelmästä, johon on ensimmäisen ja toisen asteen logiikan avulla täydennetty monilla määritelmillä.