formell säger man om något som håller sig till vissa bestämda former.

formell lagkraft, att en lag kan ändras eller upphävas endast genom lag.

formella system inom filosofi och matematik, se formellt system.

formellt system, inom filosofi och matematik benämning på ett axiomatiskt system (jämför axiom) vars språk och deduktiva apparat blivit helt formellt specificerade.

formellt subjekt, det grammatiska subjektet det i svenska satser där det semantiska (”egentliga”) subjektet står i satsens slutfält.

formell grupp, inom matematiken en formell potensserie F( X, Y) sådan att F( X, 0) = 0; F(0,  Y) = 0 (existensen av enhetselementet) och

formell potensserie, serie som bildas i analogi med polynom, men med skillnaden att godtyckligt höga gradtal tillåts.

formell grammatik, grammatik vars regler är inbördes relaterade till varandra på ett entydigt sätt.

formell logik, logik enligt vilken det är formen (i motsats till innehållet) hos t.ex. en slutledning som är avgörande för dess giltighet.

formell processledning, inom juridiken den aktiva verksamhet som domaren utövar för att styra processens yttre förlopp, t.ex. att sätta ut tid för förhandling, bevilja uppskov eller dela upp handläggningen i olika frågor.