Mathematic Analysis and Mathematic Logic