存在性理論