Základní definice - Elementary definition

v matematická logika, an základní definice je definice, kterou lze provést pouze pomocí konečný logika prvního řádu, a zejména bez odkazu na teorie množin nebo pomocí rozšíření jako množné kvantifikace. Základní definice jsou obzvláště zajímavé, protože připustit kompletní důkazní aparát zatímco je stále dostatečně expresivní, aby podporoval většinu každodenní matematiky (přidáním elementárně vyjádřitelných axiomů, jako je Teorie množin Zermelo – Fraenkel (ZFC)).

Říci, že definice je elementární, je slabší podmínkou, než když ji říkáme algebraický.

Příbuzný

Reference

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