A clarified and optimized way to rebuild mathematics without prerequisite