数学史专家郭书春：中国古代数学没有形式逻辑吗？
针对一些中国学者也认为中国古代"所有数学著作都没有证明"，郭书春先生说他自己在解决刘微割圆术和刘徽原理的证明中深深感到刘徽推理之严谨，感到上述看法之偏颇。“遂考察了刘微注的数学定义和全部推理，并以金岳霖的《形式逻辑简明读本》作对照，发现刘微不仅使用了归纳推理，更主要是使用了演绎推理，其中包括三段论、关系推理、假言推理、假言联锁推理、选言推理、联言推理、二难推理，甚至还有数学归纳法的雏形，而且刘徽从未犯循环推理的错误，撰写了《刘微（九章算术注＞中的定义及演绎逻辑试析》一文。”“在此基础上，我发现刘徽的数学知识形成了一个理论体系，提出刘徽是中国古典数学理论的奠基者的论断。”