Title: Use of Abstraction and Logic in Mathematics