1995a, "Introductory note to *1951" in Solomon Feferman et al., eds., "Kurt Gödel, Collected Works, vol.