axiom schema of unrestricted comprehension (Q125052756)
Jump to navigation
Jump to search
No description defined
Language | Label | Description | Also known as |
---|---|---|---|
English | axiom schema of unrestricted comprehension |
No description defined |
Statements
Sitelinks
Wikipedia(1 entry)
- ruwiki Схема свёртывания