DavisのNSAのメモです。Dover publ. M.Davis, Applied Nonstandard Analysisを読んでます。今は、Losの定理を証明して、concurrence theoremを証明し、自然数の超準集合に、無限大元が存在することを示したところです。 Concurrence Theorem: をuniverse, を…