Moreover, he does not say that the existence principles on which the proof is based are the only set existence principles, and he does not divorce the proof of the theorem from the Cantorian assumptions about well-ordering and ordinals.
As an application, we lead to the existence principles for integral inclusions of Hammerstein type multivalued maps.
The only questions that remain for the theory Z concern its existence principle: Do we know that the Subset Axiom and other set existence principles are true, and if so, how?
Thus set theory has served quite a unique role by systematizing modern mathematics, and approaching in a unified form all basic questions about admissible mathematical arguments — including the thorny question of existence principles.
Their causal interaction seems problematic because, according to Descartes, each substance is independent; the infinite substance depends on nothing but itself (Principles, I, §51, CSM, I, p. 210, AT 24), while created substances depend on nothing but God for their existence (Principles, I, §52, CSM I, p. 210, AT 25).
This starts with principles asserting that certain fast-growing functions exponentiation, super-exponentiation, etc.—are total and it proceeds upward through set existence principles, passing through the layers of second-order arithmetic, the subsystems of set theory, and the hierarchy of large cardinal axioms.
Closely associated with the metaphysical thought of Aquinas was the view that in all finite beings there is a real, i.e., not merely a conceptual or mind-dependent distinction and composition of an essence principle and an act of existing (esse) or existence principle.
This section is devoted to the proof of the following existence principle.
Now we prove a general existence principle for singular boundary value problem (1.1).
Here, in our paper, we present an approach leading to a new existence principle for impulsive boundary value problems.
We prove the solvability of this problem by the existence principle in [11] and investigate the properties of solutions.
