On page 88, Robinson writes: The existence of non-standard models of arithmetic was discovered by Thoralf Skolem (1934).
88ページにおいて、ロビンソンは次のように書いている： 算術の超準モデルの存在はトアルフ・スコーレム（1934）によって発見された。