gōng​lǐ​huà

axiomatization