Nepodložená pouhá poučnost - Non-wellfounded mereology

v filozofie konkrétně metafyzika, pouhá teologie je studium partnerských vztahů. v matematika a formální logika, fundovanost zakazuje ${ displaystyle cdots$ pro všechnyX.

Tím pádem nepodložené pouhé poučení zachází topologicky kruhové, cyklické, opakující se nebo jiné případné uzavření sebe sama.

Formálnější, nepodložená dílčí objednávky může vystavovat ${ displaystyle cdots$ pro některé X zatímco opodstatněné objednávky to zakazují.

Viz také

• Aczelův anti-nadační axiom
• Peter Aczel
• John Barwise
• Steve Awodey
• Dana Scott

externí odkazy

• „Nepodložená teorie množin“ vstup Lawrencea S. Mosse do Stanfordská encyklopedie filozofie, 2017-01-05

Tento filozofie související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento článek o metafyzika je pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.

Tento logika související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.