Title: Logical Understanding of Mathematics