No label defined (Q4663837)
From MaRDI portal
scientific article; zbMATH DE number 2152234
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article; zbMATH DE number 2152234 |
Statements
4 April 2005
0 references
Anti-Foundation Axiom
0 references
co-recursion principle
0 references
predicative theory of sets
0 references
circularity
0 references
