0 sats \ 0 replies \ @SpaceHodler 25 Aug \ parent \ on: Why Joe Rogan Avoids Bitcoin Discussions bitcoin
Logic is only a construct and it has its limitations, some of which have been formally proven by Gödel.
In that case ZFC, the most common foundation of mathematics, is illogical, because the axiom of choice can't be proven or disproven from the Zermelo-Fraenkel set theory.
In the same way that mathematicians include AC in ZF, the existence of God can be proven trivially by axiomatizing it.