＞数理逻辑与数学基础＞模型论＞释义 降L-S定理 downward Löwenheim-Skolem theorem universe 论域 universe of discourse 论域
理论计算机科学 程序理论 释文 domain 论域
- Lei Feng Memorial Hall in Fushun
- Leifeng Pagoda
- Lei feng's Tomb and Monument
- Lei Fɑdɑ
- Leigong Paozhi Lun
- Leigong Shan National Nature Reserve
- Lei Guan
- Lei Guiyuan
- Leigutai middle grotto
- Lei Hong
- Lei Jia
- Lei Jieqiong
- Lei Jilin
- Leiji Matsumoto
- Lei Keshenɡ
- Leikoupo Formation
- Leimanis
- Leimingsi Quan
- Leimkuhler formulation
- leimocole
- leiomyosarcoma of the nose and nasal sinus
- Lei Peihong
- Leipian
- Lei Pingyang
- Leipzig