Senior undergraduate looking to study mathematical and categorical logic and foundations of mathematics at the Ph.D. level.