A1987dM comments on By Which It May Be Judged

[A1987dM]

another big redefining project happened in the early 20th century

ZFC set theory? Peano arithmetics?