Ein Satz über die Elementar-Arithmetischen Definierbarkeitsklassen
暂无分享，去创建一个
[1] Hans Hermes. Zum Begriff der Axiomatisierbarkeit. Herrn Professor Dr. Erhard Schmidt zum 75. Geburtstage als ein Symbol der Verehrung und Dankbarkeit der Sechule von Münster , 1950 .
[2] S. Kleene. Recursive predicates and quantifiers , 1943 .
[3] Emil L. Post. Recursively enumerable sets of positive integers and their decision problems , 1944 .
[4] K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme I , 1931 .
[5] A. Church. An Unsolvable Problem of Elementary Number Theory , 1936 .
[6] A. Mostowski. On definable sets of positive integers , 1947 .