Логіцизм , школа математичної думки, запроваджена німецьким математиком XIX – XX століття Готлобом Фреге та британським математиком Бертраном Расселом, яка вважає, що математика насправді є логікою. Логіки стверджують, що всю математику можна вивести із чистої логіки, без використання будь-яких специфічних математичних понять, таких як число або множина. Порівняйте формалізм; інтуїціонізм.
Детальніше про цю тему Основи математики: Основоположна логіка ... деякі люди, яких називають логіками, припускають, що математика є галуззю логіки. Концепції членства та рівності можуть ...
