"2014" . . . . . . . . . . . . . . . . . . "1932" . . . . . . "Nelson, Edward" . . . . . . . . . . . . . . . . . . . . . . . . . "1932-05-04" . . . . . . . . . . . . . . . . . . . . . "Edward Nelson" . . . "predicative arithmetic" . . . . "Edward Nelson" . "2014-09-10" . "Nelson" . . . . . . . . .