Zdanie elementarne

W logice matematycznej zdanie elementarne to takie, które jest formułowane wyłącznie przy użyciu skończonej logiki pierwszego rzędu , bez odniesienia do teorii mnogości lub przy użyciu jakichkolwiek aksjomatów, które mają siłę spójności równą teorii mnogości .

Powiedzenie, że zdanie jest elementarne, jest warunkiem słabszym niż powiedzenie, że jest algebraiczne .

Powiązany

• Teoria elementarna
• Definicja elementarna

• Mac Lane i Moerdijk, Snopy w geometrii i logice: pierwsze wprowadzenie do teorii toposu, strona 4.