Cambridge Prof Peter Smith:

You can download the book at the bottom link from the below web site.

https://boingboing.net/2018/12/26/beyond-a-equals-a.html/amp?from=singlemessage

Philosophy using Math – that is cool!

Set Theory is Philosophy, see this “Set Proofing Technique” taught in French Baccalaureate high school but Cambridge GCE A level ignores :

Prove : A = B
You need to prove 2 ways:
A ⊂ B
and
B ⊂ A
=> A = B

In the Bible 《John 14:11》
Jesus said to his disciples:
“Believe me when I say that I am in the Father and the Father is in me”.

Proof: Father (God) = Jesus

“Father in Me” :
<=>
Father ⊂ Jesus
and
“I am in the Father” :
<=>
Jesus ⊂ Father
Hence,
Jesus = Father (God)
[QED. ]

Merry Xmas! 圣诞快乐！