Philosophy of Mathematic