Supplementary comment on ZFC and 'social proofs':
"Outsourcing the thinking process (which is susceptible to errors) to formal methods is precisely what axioms and proofs are meant for. Social proofs (which are most common in mathematics) just do not go all the way.
[...] After all, mathematics de facto is a social framework for humans to intuitively understand abstract objects."
https://math.codidact.com/posts/290727/291262#answer-291262

Details:
https://mathweb.ucsd.edu/%7Esbuss/ResearchWeb/handbookI/ChapterI.pdf

#SocialProofs #Mathematics #Metamath

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...