Formalisme, (af lat. formalis 'som vedrører formen', af forma 'form', og -isme), retning inden for matematikkens filosofi, der er grundlagt af David Hilbert i 1900-t.s 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.