We have in us the ideas of numbers and extension, whose existence is incontestable and whose nature is immutable, that will eternally furnish us with matter for thought, if we want to know all their relations.