算术探究就是德国著名数学家高斯写的。这是一本经典的数论著作。写于18~19世纪之间。里面系统介绍了一些数论方面的成就。使用了经典的同余符号。里面还有经典的二次互反律证明。高斯在里面大篇幅介绍了同余理论。据说当时数学家没有人能看懂这部书。