Formalisme er en retning inden for matematikkens filosofi, der er grundlagt af David Hilbert i 1900-tallets begyndelse. Synspunktet er, at den klassiske matematik udgør en manipulation med formler, der ikke har et meningsindhold, men som udelukkende besidder syntaktiske egenskaber. De matematiske begreber omhandler således på ingen måde træk ved virkeligheden.