極限の論証的な取り扱いを中心として，実数の性質から微積分の基本的な定理を導き，微積分学の基本的な構成を明らかにした。