美國pete l. clark是使用模型論證明數論方面定理的專家。2023年，他精心撰寫了一篇短小精幹的60頁的模型論夏季講習班講義，把話說到「點子」上，原汁原味地道出了數學模型論的真相。
根據模型論緊致性定理，無窮小微積分是嚴格的邏輯推論。菲氏微積分的理論依據是傳統的極限論，而無窮小微積分的理論依據是現代的模型論。傳統微積分與現代微積分對決在今天。昨天與今天的對決！
袁萌 7月6日
附:在數學上，模型論(model theory)是從集合論的角度對數學概念表現（representation）的研究，或者說是對於作為數學系統基礎的「模型」的研究。
簡單地說，該學科假定有一些既存的數學「物件」，然後研究：當這些物件之間的一些運算或者一些關係乃至一組公理被給定時，可以相應證明出什麼，以及如何證明。
比如實數理論中乙個模型論概念的例子是：我們從乙個任意集合開始，作為集合元素的每個個體都是乙個實數，其間有一些關係和（或）函式，例如。若我們在該語言中問"? y (y × y = 1 + 1)"這樣乙個問題，顯然該陳述對實數而言成立 - 確實存在這樣的乙個實數y,即所謂2的平方根；對於有理數，該陳述卻並不成立。乙個類似的命題，"? y (y × y = 0 ? 1)",在實數中不成立，卻在複數中成立，因為i × i = 0 ? 1。
模型論研究什麼是在給定的數學系統中可證的，以及這些系統相互間的關係。它特別注重研究當我們試圖通過加入新公理和新語言構造時會發生什麼。
現在模型論（及其方法）已經廣泛地應用於其它數學分支甚至理論計算機與工程計算中。例如hrushovski用模型論方法證明了代數幾何中的mordell-lang猜想。
結構被形式的定義於某個語言l的上下文中，它由常量符號的集合，關係符號的集合，和函式符號的集合組成。在語言l上的結構，或l-結構，由如下東西組成：
乙個全集或底層集合a，它包含所有感興趣的物件（"論域"），
給l的每個常量符號乙個在a中元素，給l的每個n價函式符號乙個從an到a的函式，和
給l的每個n價關係符號乙個在a上的n-元關係（換句話說，an的乙個子集）。
函式或關係的價有時也叫做元數（術語"一元"、"二元"和"n-元"中的那個元）。
在語言l中的理論，或l-理論，被定義為l中的句子的集合。如果句子的集合閉合於通常的推理規則之下，則被稱為閉合理論。例如，在某個特定l-結構下為真的所有句子的集合是乙個閉合l-理論。
l-理論t的模型由在其中t的所有句子都為真的乙個l-結構組出，它通常用t-模式的方式定義。
理論被稱為可滿足的，如果它有模型。
例如，偏序的語言有乙個二元關係≥。因而偏序的語言的結構就是帶有≥所指示的二元關係的乙個集合，它是偏序的理論的模型，如果此外它還滿足偏序的公理。
模型論的「大定理」
哥德爾完備性定理表明理論有乙個模型當且僅當它是一致的，也就是說沒有矛盾可以被該理論所證明。這是模型論的中心，因為它使得我們能夠通過檢視模型回答關於理論的問題，反之亦然。不要把完全性定理和完備理論的概念混淆。乙個完備的理論是包含每個句子或其否命題的理論。重要的是，乙個完備的協調理論可以通過擴充套件乙個協調的理論得到。
緊緻性定理說一組語句s是可滿足的（即有乙個模型）當且僅當s的每乙個有限子集可滿足。在證明理論的範圍內類似的定義是顯而易見的，因為每個證明都只能有有限量的證明前提。在模型論的範疇內這個證明就更困難了。目前已知的有兩個證明方法，乙個是庫爾特·哥德爾提出的（通過證明論），另乙個是阿納托利·伊萬諾維奇·馬爾采夫提出的（這個更直接，並允許我們限制最後模型的基數）。
模型論一般與一階邏輯有關。許多模型論的重要結果（例如哥德爾完備性定理和緊緻性定理）在二階邏輯或其它可選的理論中不成立。在一階邏輯中對於乙個可數的語言，任何理論都有可數的模型。這在勒文海姆-斯科倫定理中有表達，它說對於任何可數的語言中的任何有乙個無限模型都有乙個可數的初等子模型。
莫雷（morley）證明了著名的範疇定理。即對於可數語言的任何可數完備理論，如果它在某個不可數基數上是範疇的，則它在所有不可基數上都是範疇的。這個定理極大的刺激了模型論的發展，產生了後來的所謂穩定性理論（stable theory）。
近來模型論更加著重於對於其它數學分支，尤其是代數和代數幾何的應用。
無窮小放飛網際網路，倡導現代微積分，不是「野路子」
無窮小放飛網際網路，倡導現代微積分，不是 野路子 40年前，為鼓吹現代微積分 無窮小方法 走遍大江南北，寫文章，作報告，收效有限。今天，時代不同了，有了網路空間，無窮小放飛網際網路，倡導現代微積分，至今 4年過去了，收效顯著。為什麼說，無窮小放飛網際網路，倡導現代微積分收效顯著？文字資訊上網之後，傳...
再告菲氏微積分的徒子徒孫，無窮小放飛網際網路不可阻擋
再告菲氏微積分的徒子徒孫，無窮小放飛網際網路不可阻擋 坦率地說，無窮小微積分一旦製作成為袖珍電子書，將其有組織地放入高效內容管理系統 比如，moodle 軟體包 大規模推向各高校適當的學習社群 或論壇 攪局傳統菲氏微積分小課堂，嗚呼！大家知道，網際網路是個網路教學的大課堂，教學效果得以放大。比如，一...
小微企業要從「網際網路 」中讀懂什麼？
小微企業和大中型企業有乙個明顯的差別，即資訊化投入不足甚至沒有投入。當小微企業遇到 網際網路 也意味著資訊化將離小微企業越來越近，並且 網際網路 同時也在改變著小微企業的生意 資金 管理模式。暢捷通在輔助小微企業通過資訊化手段實現網際網路 的同時，在近期還發布了 小微企業 網際網路 幫助小微企業讀懂...