Lughet
›
›
→
complete axiom set — English to Chinese Translation | Lughet