1. We must state whether it belongs to one or to different sciences to inquire into the truths which are in mathematics called axioms, and into substance. Evidently, the inquiry into these also belongs to one science, and that the science of the philosopher; for these truths hold good for everything that is, and not for some special genus apart from others. And all men use them, because they are true of being qua being and each genus has being. But men use them just so far as to satisfy their purposes; that is, as far as the genus to which their demonstrations refer extends. Therefore since these truths clearly hold good for all things qua being (for this is what is common to them), to him who studies being qua being belongs the inquiry into these as well. And for this reason no one who is conducting a special inquiry tries to say anything about their truth or falsity, - neither the geometer nor the arithmetician. Some natural philosophers indeed have done so, and their procedure was intelligible enough; for they thought that they alone were inquiring about the whole of nature and about being. But since there is one kind of thinker who is above even the natural philosopher (for nature is only one particular genus of being), the discussion of these truths also will belong to him whose inquiry is universal and deals with primary substance. Physics also is a kind of Wisdom, but it is not the first kind. - And the attempts of some of those who discuss the terms on which truth should be accepted, are due to a want of training in logic; for they should know these things already when they come to a special study, and not be inquiring into them while they are listening to lectures on it.
2. Evidently then it belongs to the philosopher, i.e. to him who is studying the nature of all substance, to inquire also into the principles of syllogism. But he who knows best about each genus must be able to state the most certain principles of his subject, so that he whose subject is existing things qua existing must be able to state the most certain principles of all things. This is the philosopher, and the most certain principle of all is that regarding which it is impossible to be mistaken; for such a principle must be both the best known (for all men may be mistaken about things which they do not know), and non-hypothetical. For a principle which every one must have who understands anything that is, is not a hypothesis; and that which every one must know who knows anything, he must already have when he comes to a special study. Evidently then such a principle is the most certain of all; which principle this is, let us proceed to say. It is, that the same attribute cannot at the same time belong and not belong to the same subject and in the same respect; we must presuppose, to guard against dialectical objections, any further qualifications which might be added. This, then, is the most certain of all principles, since it answers to the definition given above. For it is impossible for any one to believe the same thing to be and not to be, as some think Heraclitus says. For what a man says, he does not necessarily believe; and if it is impossible that contrary attributes should belong at the same time to the same subject (the usual qualifications must be presupposed in this premiss too), and if an opinion which contradicts another is contrary to it, obviously it is impossible for the same man at the same time to believe the same thing to be and not to be; for if a man were mistaken on this point he would have contrary opinions at the same time. It is for this reason that all who are carrying out a demonstration reduce it to this as an ultimate belief; for this is naturally the starting-point even for all the other axioms.