Study of foundations of mathematics and logic