This is precisely what Frege thought. He pioneered the influential view known as logicism, which holds that at least all truths about numbers—the naturals up through the reals—are reducible to logic and thus analytic. The following table summarizes our discussion so far. analytic synthetic a priori Frege Plato (pre-Copernican) Kant, Brouwer (Copernican) a posteriori ✘ Mill, Quine As mentioned, some views fall outside of this table because they deny that mathematical theorems are true.
