ФРЕГЕ

(Frege) Готлоб (1848 - 1925), немецкий логик, математик и философ. Построил первую систему формализованной арифметики. Один из основоположников логической семантики.