終端定理（読み）しゅうたんていり

世界大百科事典（旧版）内の終端定理の言及

…一般に形式システムでは，推論規則によって公理から定理が導出されるという。導出される定理のうち，どの規則も適用できないものを終端定理と呼ぶ。なお，この例のシステムが生成する終端定理には意味上不適切なものがあるが，その検討は意味論にゆだねられる。…

※「終端定理」について言及している用語解説の一部を掲載しています。

出典｜株式会社平凡社「世界大百科事典（旧版）」

小麦粉を練って作った生地を、幅3センチ程度に平たくのばし、切らずに長いままゆでた麺。形はきしめんに似る。中国陝西せんせい省の料理。多く、唐辛子などの香辛料が入ったたれと、熱した香味油をからめて食べる。...