"innføre" er et 7-bokstavers verb som brukes som synonym for "aksiomatiser". aksiomatiser betyr: implementere eller sette i bruk