 Frege greatly appreciates the work of Immanuel Kant.He criticizes him mainly on the grounds that numerical statements are not synthetic-a priori, but rather analytic-a priori.Kant claims that 7+5=12 is an unprovable synthetic statement.