 It is worthwhile to observe that, as the philosophical concerns of the Grundlagenkrise have receded, and as new approaches from the direction of computer science and homotopy theory have entered the field, the primacy of first-order logic is open to reconsideration.