теорема об ультрапроизведениях

Мат. ultraproduct theorem