A divine consistency proof for mathematics