"formell matematikk" er et 18-bokstavers substantiv som brukes som synonym for "algebra". algebra betyr: Matematikk basert på formelle regler og symboler