【廢】
之前在這篇 中提及一個可能可以做的論文題目，是關於以連續統假設去判斷萊布尼茲的微積分跟單子論中對於無限的設想是阿列夫0還是阿列夫1。
最近剛好看到Imre Lakatos在他1978年出版的著作Mathematics, Science and Epistemology裡就提到從柯西到Abraham Robinson從非標準分析切入無窮小量的問題，關於這個問題的討論Lakatos做的結論是關於微積分中的無窮小量能否在標準實分析中證明，這件事在定理層面是不可能的。而如果簡單地把無窮小量當成是阿列夫0的倒數，那麼無庸置疑，無窮小量在事實上存在，這是因為阿列夫0數列的不收斂、卻又可用函數構造的性質；這也就是說在連續統學說的觀點裡阿列夫0收斂。