existence theorem

(redirected from Mathematical existence)

existence theorem

[ig′zis·təns ‚thir·əm]
(mathematics)
The theorem that at least one object of a specified type exists.
References in periodicals archive ?
From the point of view of proof-theoretic semantics, we examine the logical background invoked by Neil Tennant's abstractionist realist account of mathematical existence.
At least she's an economist interested in the real world, not in some silly mathematical existence proof.
It also contains papers on such topics as the phenomenology of mathematical truth, mathematical beauty, and mathematical proof, as well as discussions of identity, computer science, mathematical existence, meaning, and Kant and Husserl.

Full browser ?