Formaalisuus on oikeudellisten ilmiöiden välttämätön ominaisuus, kun taas formalistinen viittaa turhan muodolliseen, sisältäen negatiivista arvolatausta. Formaalisuudessa oikeudellisten normien ja oikeudellisen ratkaisutoiminnan yhteydessä voidaan hahmottaa eri ulottuvuuksia, joita kirjoituksessa tarkastellaan ensin teoreettisesti, sen jälkeen erityisesti korkeimman hallinto-oikeuden tuloverotusta koskevan oikeuskäytännön valossa. Tarkoituksena on kuvata ja analysoida, miten formaalisuus oikeudellisissa ratkaisuissa ilmenee ja vaikuttaa.