REALISM AND ANTI-REALISM
Paradigms and research programmes in logic and the philosophy of mathematics