数理論理学になじみのある人には超準解析の導入をコンパクト性定理を使って超準モデルを作るところから始めるのがわかりやすいでしょうが、そうでない人にはいきなり超フィルターから始めるほうが楽でしょうか？