完备
不备
大备
词谱
法典
该典
公理化方法
拼音:ɡōnɡ lǐ huà fānɡ fǎ 首字母大写:GLHFF五笔:wc gj wx yy ifc 公理化方法的同义词反义词
从少数不加定义的原始概念和少数不加证明的基本命题(公理)出发,按特定演绎推理规则推导出这一学科中其他命题(定理),并构成一个演绎系统的方法。任何特定的公理化系统都不是绝对严格和完备的。
齐整
全唐诗
拼音:quán tánɡ shī 首字母大写:QTS五笔:wg ovh yff 全唐诗的同义词反义词
总集名。清康熙时彭定求等编。九百卷。收唐、五代诗歌四万九千四百零三首,残句一千五百五十五条,作者二千八百三十七人,大致按时代前后排列,并附作者小传。是收录唐代诗歌最完备的总集。
全元散曲
拼音:quán yuán sǎn qǔ 首字母大写:QYSQ五笔:wg fqb aety ma 全元散曲的同义词反义词
散曲总集。今人隋树森编。收录元人小令三千八百余首,套数四百五十余套。大致按作者时代先后排列。对现存元人散曲辑录较为完备。