近世代数

数学的符号加逻辑。——罗素