And if there is a demonstrative science which deals with them, there will have to be an underlying kind, and some of them must be attributes and others must be axioms (for it is impossible that there should be demonstration about all things); for the demonstration must start from certain premises and be about a certain subject and prove certain attributes.