Title: The methodology of mathematics