evident that it is Being properly so called which is presupposed as a fixed subject, and that it is what must in any view of it remain, that is, it is what must have the predicate of the Infinite attached to it. Being in so far as it is, to begin with, characterised as finite, and because the finite and the Infinite are simultaneously conceived of as subjects, represents what is common to both. The real point is not that a transition is made from Being to the Infinite as representing something different from Being, but, on the contrary, that we pass from the finite to the Infinite, and that in this transition Being remains unaltered. It is consequently shown here to be the permanent subject whose first characteristic, namely, finitude, is translated into infinitude. It is almost superfluous to remark that since Being is conceived of as subject and finitude as simply one characteristic, and, in fact, as the subsequent predicate shows, as a purely transitory characteristic, when we are dealing with the proposition taken by itself alone: Being is infinite, or is to be characterised as infinite, we must by the term Being understand Being as such, and not empirical Being, not the moral finite world.
This first proposition is accordingly the proposition of the Cosmological Argument, Being is the subject, and this presupposition whether it is taken as given or deduced, it does not matter how, is in reference to the act of proof as mediation through grounds or reasons in general, the immediate in general. This consciousness that the subject represents what is presupposed in general, is what is alone to be regarded as the important thing in connection with knowledge reached by demonstration. The predicate of the proposition is the content which must be proved to belong to the subject. Here it is the Infinite, which has consequently to be shown to be the predicate of Being and of its content, and as reached by means of mediation.
The second proposition: the Infinite is, has the more definitely determinate content as its subject, and here it
