Defining Bayes’s theorem from scratch in ZFC I have tons of interrelated questions which I would like resolved in order to help me answer this Philosophy SE question about Bayes’s theorem given...

Supplementary comment on ZFC and "social proofs" (the kinds of proofs that usually occur in papers):
math.codidact.com/posts/290727...

Details:
mathweb.ucsd.edu/%7Esbuss/Res...
#SocialProofs #Mathematics #Metamath