Goldstein cleverly compares the objective of the so-called “formalist program” to find a master list of axioms, from which all of mathematics could be derived by rigid logical deduction,
to a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, for the common good, by logical rules.a) to a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, for the common good, by logical rules
b) with a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, for the common good, to logical rules
c) to a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, for the common good, to logical rules
d) with a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, for the common good, by logical rules
e) to a “Communist takeover of mathematics” in which individuality and intuition would be subjugated, in the common good, to logical rules