请输入您要查询的百科知识:

 

词条 Non-wellfounded mereology
释义

  1. See also

  2. External links

In philosophy, specifically metaphysics, mereology is the study of parthood relationships. In mathematics and formal logic, wellfoundedness prohibits for any x.

Thus non-wellfounded mereology treats topologically circular, cyclical, repetitive, or other eventual self-containment.

More formally, non-wellfounded partial orders may exhibit for some x whereas well-founded orders prohibit that.

See also

  • Aczel's anti-foundation axiom
  • Peter Aczel
  • John Barwise
  • Steve Awodey
  • Dana Scott

External links

  • {{SEP|nonwellfounded-set-theory|Non-wellfounded Set Theory|Lawrence S. Moss|2017-01-05}}
{{philosophy-stub}}{{metaphysics-stub}}{{logic-stub}}

2 : Mereology|Mathematical logic

随便看

 

开放百科全书收录14589846条英语、德语、日语等多语种百科知识,基本涵盖了大多数领域的百科知识,是一部内容自由、开放的电子版国际百科全书。

 

Copyright © 2023 OENC.NET All Rights Reserved
京ICP备2021023879号 更新时间:2024/9/21 8:15:35