Synonymes de formalisation

5 Syllabes

théorisation, symbolisation

7 Syllabes

axiomatisation