Большой энциклопедический словарь
ФРЕГЕ
ФРЕГЕ (Frege) Готлоб (1848-1925) — немецкий логик, математик и философ, основоположник логицизма. Дал первую аксиоматику логики высказываний и предикатов, построил первую систему формализованной арифметики. Один из основоположников логической семантики.