We don't find out properties of things in mathematics, but lay down characteristics
5
of concepts.