Omezení velikosti - Limitation of size

V filozofie matematiky, konkrétně filozofické základy teorie množin, omezení velikosti je koncept vyvinutý společností Philip Jourdain a / nebo Georg Cantor vyhnout se Cantorův paradox. Identifikuje určité „nekonzistentní multiplicity“, podle Cantorovy terminologie, které nemohou být sady protože jsou „příliš velké“. V moderní terminologii se jim říká správné třídy.

Použití

The axiom omezení velikosti je axiom v některých verzích von Neumann – Bernays – Gödel teorie množin nebo Morseova-Kelleyova teorie množin. Tento axiom říká, že jakákoli třída, která není „příliš velká“, je množina a množina nemůže být „příliš velká“. „Příliš velký“ je definován jako dostatečně velký, aby do něj bylo možné namapovat třídu všech sad.

Reference

  • Hallett, Michael (1986). Kantorská teorie množin a omezení velikosti. Oxford University Press. ISBN  0-19-853283-0.