|
Jan. 22nd, 2023|10:24 am |
Да тут все просто.
Есть языки с синтаксисом понятным. И есть аксиомы на богике первого порядка.
То есть множества это все, а если написать a \in b, то a это элемент b. Все больше никаких определений не нужно. Что такое богика первого порядка определяется всевышними силами рекурсивно. |
|