|
T:___is a thing. |-(∃!{})⇒({}≡{})⇒(∑∀x=∃!U)Tx⇒(U<<>>∀x)Tx⇒(∀x∈U⊃∀ x)Tx ⇒... (∑E=Ek+Ep)∧
T:___is a thing.
|-(∃!{})⇒({}≡{})⇒(∑∀x=∃!U)Tx⇒(U<<>>∀x)Tx⇒(∀x∈U⊃∀x)Tx ⇒...
(∑E=Ek+Ep)∧(E=mc^2)∧(E=ħω/2)∧(P=∫∇Edv)⇒(∀x∈E⊃∀x)Tx⇒(U≡E)⇒...
((∑∀x≡∃!E)∧(E<<>>∀x))Tx⇒(E>>E)∧(∀P∈E⊃∀P)
By Gabriel from Yahowaho
|