• jazyky prvého řádu
• univerzální algebry modelů
• modely teorie množin