Один [логик] изучает науку о выводах, а другой [математик] наука, которая делает необходимые выводы.