The mathematical analysis of logic