π“Ÿ host1.bitchan.one

𓀐 @ff9HQd4J

⏱ 1d seenβ›“ 0πŸ‘ 0β§– 1

filter [-]

languages:onother

Axiom 1: If Ο† is a positive property, and if it is necessarily true (true in all possible worlds) that every object with property Ο† also has property ψ, then ψ is also a positive property. Axiom 2: The negation of a property Ο† is positive if, and only if, Ο† is not positive. Theorem 1: If a property Ο† is positive, then it is possible that there exists an object x that has this property (in at least one possible world, there exists an object x that has this property). Definition 1: An object x is God-like if, and only if, x has all positive properties. Axiom 3: The property of being God-like is itself a positive property. Theorem 2: It is possible that there exists a God-like object x (in at least one possible world, there exists a God-like object x). Definition 2: A property Ο† is an essential property of an object x if, x has property Ο†, and every property ψ of x necessarily (in all possible worlds) and generally (for all objects) follows from Ο†. Axiom 4: If a property Ο† is positive, then it is necessarily positive (positive in all possible worlds). Theorem 3: If x is God-like, then being God-like is an essential property of x. Definition 3: An object x "exists necessarily" if each of its essential properties Ο† applies, in each possible world, to some object y. Axiom 5: "Necessary existence" is a positive property. Theorem 4: It is necessarily true (true in all possible worlds) that a God-like object exists.⏱ 1h↩ 1
godels theorem is literally retarded. It has a contradiction btw https://ijcai.org/proceedings/2016/0137.pdf It's not valid, let alone sound⏱ 1h↩