logical analysis of mathematics