INDIKASI BAHWA OBJEK-OBJEK MATEMATIKA DAPAT DIPANDANG SEBAGAI BARISAN STRUKTUR-STRUKTUR HINGGA

Makalah ini memaparkan semacam ultraproduk dari teori himpunan hingga di mana ultrafilternya merupakan filter Frechet yaitu subhimpunan-subhimpunan kofinit (komplemennya hingga) dari himpunan semua bilangan asli

INDIKASIBAHWA OBJEK-OBJEK MATEMATIKA DAPAT DIPANDANG SEBAGAI BARISAN STRUKTUR-STRUKTUR HINGGA

Makalah ini memaparkan semacam ultraproduk dari teori himpunan hingga di mana ultrafilternya merupakan filter Frechet yaitu subhimpunan-subhimpunan kofinit (komplemennya hingga) dari himpunan semua bilangan asli. Pengkhususan ini dimaksudkan untuk membuat aksiomatisai menjadi lebih mudah dalam rangka melihat bahwa pada dasarnya teori himpunan biasa tertanam di dalam perumusan baru ini, sedangkan yang terakhir ini menampilkan objek-objeknya selalu sebagai barisan\ud (berdomain bilangan asli) dari himpunan-himpunan hingga. Sepintas lalu mungkin terlihat kontradiktif menyatakan himpunan dengan sembarang kardinalitas dengan barisan himpunan hingga namun teori himpunan yang dibicarakan adalah di dalam bahasa "ultraproduk" dan bukan dalam bahasa yang sarna dengan bahasa "barisan objekobjek hingga". Ini menjelaskan kesan paradoksal tadi