海词手机词典
  • 完备公理集

    [wán bèi gōng lǐ jí]