形式主义 (数学哲学)Peter. Formalism. Elsevier. 2009: 292. ISBN 9780080930589 (英语). Weir, Alan, Zalta, Edward N. , 编, Formalism in the Philosophy of Mathematics, The Stanford
连续统假设Benacerraf and Putnam's collection Philosophy of Mathematics, 2nd ed., Cambridge University Press, 1983. An outline of Gödel's arguments against CH. Goldrei