gōng​lǐ​fǎ

axiomatic method