Title: The mathematical analysis of logic