Les sciences formelles (ou sciences logico-formelles ) explorent déductivement, selon des règles de formation et de démonstration, des systèmes axiomatiques. Les sciences formelles regroupent les mathématiques, la logique et l`informatique théorique.