Matemaatika eripära teiste teadustega võrreldes on, et matemaatikas ei saa pidada ühtki väidet (peale aksioomide ja definitsioonide) tõeseks, kui seda pole loogiliselt järeldatud varem teada olnud väiteist. Loogiline järeldamine on uute matemaatiliste tõdede saamise vahend.