Single Idea 16869

[catalogued under 6. Mathematics / A. Nature of Mathematics / 1. Mathematics]

Full Idea

We cannot long remain content with the present fragmentation [of mathematics]. Order can be created only by a system. But to construct a system it is necessary that in any step forward we take we should be aware of the logical inferences involved.

Gist of Idea

To create order in mathematics we need a full system, guided by patterns of inference

Source

Gottlob Frege (Logic in Mathematics [1914], p.205)

Book Reference

Frege,Gottlob: 'Posthumous Writings', ed/tr. Hermes/Long/White etc [Blackwell 1979], p.205


Related Ideas

Idea 16868 The essence of mathematics is the kernel of primitive truths on which it rests [Frege]

Idea 16871 A truth can be an axiom in one system and not in another [Frege]