勒文海姆

✍ dations ◷ 2025-07-17 19:18:36 #勒文海姆

李奥帕德·勒文海姆（生于1878年6月26日，德国克雷费尔德；死于1957年5月5日，柏林）是一位德国数学家，主要成就在数理逻辑方面。纳粹政权强迫勒文海姆退休，因为在纽伦堡法案，他被认为只有四分之三的雅利安人血统。1943年，勒文海姆的大部分作品都在一次柏林的空袭下被摧毁了。不过，他在第二次世界大战后存活了下来，并且恢复教导数学的工作。勒文海姆于1915年给出了现在称之为勒文海姆–斯科伦定理的第一个证明，此一定理通常被认为是模型论的起点。& ∨ ¬ ~ → ⊃ ≡ | ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

相关

发烧发烧（英语：fever），又称作发热（英语：pyrexia）或发热反应（英语：febrile response），其定义为：体温在调节时超过了平常体温。现在医界并没有一致认可的正常体温上限，文献从37.3到38.3℃都有。
路易斯·巴斯德路易·巴斯德（法语：Louis Pasteur，发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gen
脐带绕颈脐带绕颈（nuchal cord）是指胎儿在母体子宫内时，发生脐带缠绕在胎儿颈部的情形。脐带绕颈的胎儿出生后，可能很快就会出现脸色发黑、面部瘀青及眼白布有血丝（英语：subconjunctival b
宫颈举痛宫颈举痛（英语：cervical motion tenderness）或宫颈刺激（cervical excitation），是一类妇科盆腔检查症状。它通常都病发于盆腔炎和宫外孕中，并用于区分盆腔炎和阑尾炎。它也被口语称
丁酸丁酸，又称酪酸，是化学式为CH3CH2CH2-COOH的羧酸和短链饱和脂肪酸，存在于腐臭的黄油、帕马森干酪、呕吐物和腋臭中。丁酸带有难闻的气味，味先辣后甜，与乙醚类似。10ppb浓度的丁酸
平均细胞血红蛋白浓度平均细胞血红蛋白浓度（mean corpuscular hemoglobin concentration、MCHC）是测量定量血红细胞中的血红蛋白浓度。它是血常规检测中的一项。该指标的成年人正常范围大约在320-
柑橘柑橘是芸香科柑橘属水果的统称。主要种类有橘、柑、甜橙、酸橙、柚、葡萄柚、柠檬、莱姆、枸橼、佛手柑和金橘等。柑橘类水果是世界上产量最大的水果，目前的年产量已经超过了
下颚癌下颚癌，是属于口咽癌（oropharynx）的其中一种。这是因下颚包含在口咽的解剖位置之内。口咽癌（oropharynx）容易发生的位置有软颚（soft palate），舌底（tongue base），以及扁桃腺（tonsil）等等都
髋骨髋骨为人体腰部的骨骼，共左右两块。幼年时，髋骨分为髂骨、坐骨和耻骨以及软骨连接。成年后，它们之间的软骨会骨化，成为一个整体，即髋骨。左髋骨、右髋骨、骶骨、尾骨以及它们之间
陶文陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧