[gōng lǐ]
công lý
如果A=B,B=C,则A=C
rú guǒ A=B,B=C, zé A=C
Nếu A=B, B=C, thì A=C
公理法gōng lǐ fǎ
công lý pháp
phương pháp tiên đề