Logika i matematika su egzaktne nauke specifične po tome što se u njima sve opšte tvrdnje u principu mogu deduktivno dokazati iz skupa početnih stavova, koji se nazivaju aksiome, i usvojenih logičkih pravila. Zbog ove osobine logike i matematike, one se mogu urediti kao aksiomatski sistemi. Aksiomatski sistem je sistem naučnih tvrdnji i dokaza za […]