example game euclidean geometry seen consisting strings called axioms rules inference generate new strings given ones one prove pythagorean theorem holds one generate string corresponding pythagorean theorem according formalism mathematical truths numbers sets triangles like fact anything another version formalism often known deductivism deductivism pythagorean theorem absolute truth relative one ''if'' one assigns
Humanities Philosophy Applied philosophy Philosophy of mathematics