使用给定的上下文回答问题。
问题：超實數的功能是?
上下文：極限不是對微積分基礎唯一的嚴格進路。另一種方法是採用亞伯拉罕•魯濱遜的非標準分析。羅賓遜在1960年左右所採取的進路襲承了牛頓——萊布尼茨的最初概念，借用數理邏輯的技術將實數系統擴大，得以將無窮小和無窮大數包含在內。所得出的數為超實數，可以用它們來對微積分法則作萊布尼茨式的推導。早期的微積分概念來自於埃及、希臘、中國、印度、伊拉克、波斯、日本，但現代微積分來自於歐洲。17世紀時，艾薩克•牛頓與戈特弗里德•萊布尼茨在前人的基礎上提出微積分的基本理論。微積分基本概念的產生是建立在求瞬間運動和曲線下面積這兩個問題之上的。微分應用包括對速度、加速度、曲線斜率、最優化等的計算。積分應用包括對面積、體積、弧長、質心、做功、壓力的計算。更高級的應用包括冪級數和傅立葉級數等。微積分也使人們更加精確地理解到空間、時間和運動的本質。多個世紀以來，數學家和哲學家都在爭論除以零或無限多個數之和的相關悖論。這些問題在研究運動和面積時常常出現。古希臘哲學家埃利亞的芝諾便給出了好幾個著名的悖論例子。微積分提供了工具，特別是極限和無窮級數，以解決該些悖論。微積分的基本概念還包括函數、無窮序列、無窮級數和連續等，運算方法主要有符號運算技巧，該技巧與初等代數和數學歸納法緊密相連。微積分被延伸到微分方程、向量分析、變分法、複分析、時域微分和微分拓撲等領域。微積分的現代版本是實分析。
答案：
可以用它們來對微積分法則作萊布尼茨式的推導