When a truth is necessary, the reason for it can be found by analysis, that is, by resolving it into simpler ideas and truths until the primary ones are reached. It is this way that in mathematics speculative theorems and practical canons are reduced by analysis to definitions, axioms and postulates.
Gottfried LeibnizIf we were magically shrunk and put into someone's brain while she was thinking, we would see all the pumps, pistons, gears and levers working away and we would be able to describe the workings completely, in mechanical terms, thereby completely describing the thought processes of the brain. But that description would not contain any mention of thought! It would contain nothing but descriptions of pumps, pistons, levers!
Gottfried Leibniz