Impredicativity
id:
impredicativity-298-6004068
title:
Impredicativity
text:
In mathematics, logic and philosophy of mathematics, something that is impredicative is a self-referencing definition. Roughly speaking, a definition is impredicative if it invokes the set being defined, or another set that contains the thing being defined. There is no generally accepted precise definition of what it means to be predicative or impredicative. Authors have given different but related definitions. The opposite of impredicativity is predicativity, which essentially entails building
brand slug:
wiki
category slug:
encyclopedia
description:
Notion of self-reference in mathematics and philosophy
original url:
https://en.wikipedia.org/wiki/Impredicativity
date created:
date modified:
2024-03-21T06:43:29Z
main entity:
{"identifier":"Q3149511","url":"https://www.wikidata.org/entity/Q3149511"}
image:
fields total:
13
integrity:
14