Lughet
›
›
→
completeness of axiom systems — English to Chinese Translation | Lughet