Základní věta - Elementary sentence - Wikipedia

v matematická logika, an základní věta je ten, který je uveden pouze pomocí konečný logika prvního řádu, bez odkazu na teorie množin nebo pomocí jakýchkoli axiomů, které mají pevnost konzistence rovná teorie množin.

Říci, že věta je elementární, je slabší podmínkou, než když ji říkáte algebraický.

Příbuzný

Reference

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