>>341
とりあえず、超積による超実数の構成や、Losの定理、移行原理、共起性定理、無限大自然数の存在性などは理解したつもりです