Logic. Philosophy of mathematics (foundations of mathematics and abstractionism).