Friday, November 24, 2017

Tuesday, November 21, 2017

Tuesday, November 14, 2017

Mere existence of God is a powerful axiom but actually relatively weak in its logical consequences, much like the existence of an inaccessible is a relatively weak large cardinal axiom in set theory. On the other hand, I0 is a very strong axiom only one step removed from logical impossibility, Perhaps the analogously strong axiom of the faith is the Incarnation.