"teoretisering" er et 13-bokstavers substantiv som brukes som synonym for "formalvitenskapene". formalvitenskapene betyr: Utvikling av teorier og modeller.