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