Showing posts with label Set. Show all posts
Showing posts with label Set. Show all posts

Monday, 6 May 2013

Proof Set Technique

Proof Set Technique:
Let sets A, B
1. Prove A ⊆ B:
∀x ∈ A
(show x ∈ B )
=> A ⊆ B
2. Prove B ⊆ A:
∀x ∈ B
(show x ∈ A )
=> B ⊆ A
3. Prove A = B:
(A ⊆ B) & (B ⊆ A)
=> A = B

Sunday, 21 April 2013

Set Theory in John 1:1

"In the beginning was the Word, and the Word was with God, and the Word was God. " (John 1:1)

太初有道。道与神同在,道就是神。

Mathematically in Set Theory:
Let W = Word, G = God

∃ W, (In the beginning was the Word)
and
W⊂ G, W⊃ G (the Word was with God)

=> W=G (the Word was God)

(John 14:11 NIV)
"Believe me when I say that I am in the Father and the Father is in me; or at least believe on the evidence of the works themselves."

Proof: by Set Theory
⊂: in, include, inside

Jesus ⊂ Father (I am in the Father )
Father ⊂ Jesus (the Father is in me)
=> Jesus = Father (= God)
[QED]