Запитання з тегом «finite»

2
Формування теорії кінцевих множин в теорії типів
Більшість помічників доказування мають формалізацію поняття "скінченна множина". Ці формалізації, однак, дико відрізняються (хоча можна сподіватися, що всі вони по суті рівнозначні!). Я не розумію на даний момент - це проектний простір, які плюси та мінуси кожної формалізації. Зокрема, я хотів би зрозуміти наступне: Чи можу я аксіоматизувати кінцеві множини …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.