## Proving that nothing does not exist

I applied some mathematical view to the daily language while studying demonstration.

Proving that nothing does not exist

Consider the following hypothesis by definition:

1. (There's nothing) -> (There's the absence of everything)
2. (There's nothing) -> (There's the absence of everything) -> (There's the absence of the absence of everything)¹ -> (There's everything) -> ~(There's the absence of everything)
And consider the following hypothesis by logic:
3. (There's nothing) v ~(There's nothing)²
4. ~[(There's the absence of everything) ^ ~(There's the absence of everything)]³
By 1 and 2, we have:
5. (There's nothing) -> (There's the absence of everything) ^ ~(There's the absence of everything)
By 5 and 3, we have:
6. [(There's the absence of everything) ^ ~(There's the absence of everything)] v ~(There's nothing)
By 6 and 4, we have:
7. ~(There's nothing)
Q.E.D.

¹ - Cause "everything" includes the "absence of everything", since "absence of everything" is something.
² - Law of excluded middle

As a result, the space is not full of nothing. Cause nothing does not exist.

Is the demonstration right?
 Recognitions: Gold Member Science Advisor Staff Emeritus Was this a joke? Because all you have is one long play on words.
 No, it's not a joke. Long play on words you say, so let me take off the words: Let A and B be propositions. Proving ~A Consider the following hypothesis by definition: 1. A -> B 2. A -> ~B And consider the following hypothesis by logic: 3. (A v ~A)² 4. ~(B ^ ~B)³ By 1 and 2, we have: 5. A -> (B ^ ~B) By 5 and 3, we have: 6. (B ^ ~B) v ~A By 6 and 4, we have: 7. ~A Q.E.D. ² - Law of excluded middle ³ - Law of non-contradiction

Recognitions:
Homework Help

## Proving that nothing does not exist

 Quote by charlie_sheep No, it's not a joke. Long play on words you say, so let me take off the words: Let A and B be propositions. Proving ~A Consider the following hypothesis by definition: 1. A -> B 2. A -> ~B
From these two lines it follows that B and ~B, giving you a contradiction. Given a contradiction, you can derive any conclusion.
 Blog Entries: 8 Recognitions: Gold Member Science Advisor Staff Emeritus This does not meet our guidelines.

 Tags absence, exist, existence, proving, there is