query: Can the existence of something be proven by logic alone
positive_passages.docid: 24480
positive_passages.text: Can there be true conclusions without assumptions?
negative_passages.docid: 145466
negative_passages.text: Is this a valid mathematical proof?
negative_passages.docid: 133194
negative_passages.text: Can we prove reality?
negative_passages.docid: 74875
negative_passages.text: Do we know if there exist true mathematical statements that can not be proven?
negative_passages.docid: 50178
negative_passages.text: \qed for theorems without proofs
negative_passages.docid: 49994
negative_passages.text: Deduction of $\forall y \exists x (x=y)$
negative_passages.docid: 51369
negative_passages.text: Natural deduction proof of $p \lor (p\implies q)$ with propositional calculus
negative_passages.docid: 109858
negative_passages.text: How could a statement be true without proof?
negative_passages.docid: 47697
negative_passages.text: Russell's paradox: a set cannot contain its own powerset
negative_passages.docid: 50804
negative_passages.text: It seems obvious, but how to prove it formally?
negative_passages.docid: 126633
negative_passages.text: Is a contradiction enough to prove a set equality to $\varnothing$?
negative_passages.docid: 77286
negative_passages.text: Proving set theory question
negative_passages.docid: 58186
negative_passages.text: Set theory proof, $\exists g(g\colon A\twoheadrightarrow C)$ or $\exists h(h\colon C\hookrightarrow B)$
negative_passages.docid: 65895
negative_passages.text: Irrationality proofs not by contradiction
negative_passages.docid: 78290
negative_passages.text: Countable axiom of choice: why you can't prove it from just ZF
negative_passages.docid: 136577
negative_passages.text: In formal logic, how is it possible for an argument with a contradictory conclusion to be valid?
negative_passages.docid: 72357
negative_passages.text: Can one infer independence by simple reasoning/intuition?