один із напрямів математики середини 19 ст., який стверджував пріоритетність логіки перед математикою