Occurence of contradictions in Zermelo-Fraenkel theory under extension of base language by recursion functions
It is shown that the extension of base language in Zermelo-Fraenkel theory, which allows a relations on recursion function of natural argument, may lead in Set Theory to contradictive constructions on arithmetic level.
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | Russian |
| Published: |
Institute of Computer Science
2009-12-01
|
| Series: | Компьютерные исследования и моделирование |
| Subjects: | |
| Online Access: | http://crm.ics.org.ru/uploads/kim4/crm09403.pdf |