Omitting types theorem