Branch of logic , founded by
It rejects the hierarchy of sets generated in {{link=set theory">set theory through the member-of relation and instead proposes a part-whole relationship. It has attracted philosophers of logic and mathematics who are nominalists (see universal ), those who suspect set theory of being inherently Platonistic, and those who are otherwise suspicious of the complex entities proposed by, and the complicated assumptions needed for, set theory.