简述渐进理论模型包含的两组命题。