2
Формування теорії кінцевих множин в теорії типів
Більшість помічників доказування мають формалізацію поняття "скінченна множина". Ці формалізації, однак, дико відрізняються (хоча можна сподіватися, що всі вони по суті рівнозначні!). Я не розумію на даний момент - це проектний простір, які плюси та мінуси кожної формалізації. Зокрема, я хотів би зрозуміти наступне: Чи можу я аксіоматизувати кінцеві множини …