Die formalistischi Posizioon het sich akademisch witgehend duregsetzt und zu nöije Däildiszipline vo dr Mathematik gfüert, wo d Grundlaage vo dr mathematische Site behandle und üübligerwiis under dr Bezäichnig mathematischi Logik zämmegfasst wärde: Mängileer, Bewiistheorii, Rekursionstheorii und Modälltheorii.