Title: The Mathematical Analysis of Logic