Nominations and Campaigning for the 2022 RationalWiki Moderator Election are now closed. The election booth will open soon!

# Fun:Torontological argument

 Tired of laughing? RationalWiki has a slightly more serious article about Ontological argument.
1. Definition 1: x is Toronto-like if and only if x has as essential properties those and only those properties which are positive
2. Definition 2: A is an essence of x if and only if for every property B, x has B necessarily if and only if A entails B
3. Definition 3: x necessarily exists if and only if every essence of x is necessarily exemplified
4. Axiom 1: If a property is positive, then its negation is not positive
5. Axiom 2: Any property entailed by—i.e., strictly implied by—a positive property is positive
6. Axiom 3: The property of being Toronto-like is positive
7. Axiom 4: If a property is positive, then it is necessarily positive
8. Axiom 5: Necessary existence is positive
9. Axiom 6: For any property P, if P is positive, then being necessarily P is positive
10. Theorem 1: If a property is positive, then it is consistent, i.e., possibly exemplified
11. Corollary 1: The property of being Toronto-like is consistent
12. Theorem 2: If something is Toronto-like, then the property of being Toronto-like is an essence of that thing
13. Theorem 3: Necessarily, the property of being Toronto-like is exemplified

QED, Toronto is God.