formaalteadused
Formaalteadused ehk formal sciences on teadusharu, mis uurib abstraktseid struktuure ja formaalseid süsteeme ning kasutab aksiomaatilist ja deduktiivset meetodit. Need püüavad välja töötada üldisi teooriaid ja tõestatud tulemusi, mitte kirjeldada maailma pelgalt empiiriliselt.
Peamised valdkonnad on loogika; matemaatika ja selle alamvaldkonnad (algebra, analüüs, geomeetria, topoloogia, kombinatoorika, numbrite teooria); teoreetiline
Meetodid põhinevad aksiomilisel konstruktsioonil ja deduktsioonil ning tulemused kinnitatakse rangete tõestustega. Uuritakse mudelite loomist, teoreetilist modelleerimist
Seos teiste teadustega: formaalteadused annavad metoodika ja teooriad, mille abil arendatakse arvutustarkvara, krüptograafiat, operatsioonide uurimist, andmete
Ajalugu: alused pärinevad antiikajast loogikast ja matemaatika formaliseerimisest; kaasaegne formaliseerimine kujunes 19. ja 20. sajandil. Hilberti