Elementární teorie - Elementary theory

v matematická logika, an elementární teorie je ten, který zahrnuje pouze použití axiomů konečný logika prvního řádu, bez odkazu na teorie množin nebo pomocí jakýchkoli axiomů, které mají pevnost konzistence rovná se teorii množin.

Říci, že teorie je elementární, je slabší podmínka, než když se říká algebraický.

Příbuzný

Reference

  • Mac Lane a Moerdijk, Snopy v geometrii a logice: první úvod do teorie toposu, strana 4.