|entries|deductivism-mathematics|