Thoralf Skolem

托拉尔夫·阿尔伯特·斯科伦（挪威語：Thoralf Albert Skolem，1887年5月23日—1963年3月23日），又译司寇仑。是一位挪威数学家。主要研究领域为集合论和数理逻辑，在丟番圖方程和群论方面也有贡献。 斯科伦父亲是小学教师，但家中大部分人务农为生。斯科伦在克里斯蒂安尼亞（今奥斯

regularity）这一说法（见希尔伯特计划）。这也就是现在所说的证明论。另一个重要的现代分支是模型论。这一领域的其他重要人物有：伯特兰·罗素，斯科尔姆（Thoralf Skolem），普斯特（Emil Post），邱奇，克莱尼，蒯因，贝纳瑟拉夫（Paul Benacerraf），普特南，柴汀（Gregory

Ernst Schröder 的工作。模型論的創立者 Leopold Loewenheim 和 Thoralf Skolem 是遵循代數傳統的邏輯學家。塔斯基是現代數理邏輯主要分支之一的集合論上的模型論的創立者，他在 1940 年的论文中重新阐述了 Schröder

was sollen die Zahlen? (1888). 这项工作是第一个给出某个递归结构定义了一个唯一函数的证明。 原始递归算术是由Thoralf Skolem首次提出的 1923年。 目前的术语是由Rózsa Péter（1934年）在Wilkinson之后创造的。(1934)在阿克曼于192

a}存在。通过外延性{a,a} = {a}。）空集公理已经被无穷公理所假定，现在不被包括为它的一部分了。 这里的公理不包括正规公理和替代公理。它们是Thoralf Skolem在1922年基于同一年早些时候Adolf Fraenkel的工作而增加的。 在现代ZFC系统中，在分离公理中提及的“命题函数”被解释为“