Едно от основните направления при обосноваването на математиката, което се стреми да сведе цялата математика към логиката, като смята, че математиката е независима от обективния свят.