Платон Сергеевич (1846-1907) , российский логик, математик, астроном. Основные труды по математической логике.