תקציר משפט יש ואין, משפטי מודלים (משפט איווי)