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! 圣诞快乐!