gdy odpisałem„Najmniejsza liczba naturalna, której nie można zdefiniować w pierwszorzędowym języku teorii zbiorów (ZF) przy użyciu formuły krótszej niż \(\displaystyle{ 10^3}\) znaków.”
a definicja z polskiej Wiki:No i o tu mamy paradoks: definiujemy literami, cyframi, symbolami, niech słownik liczy nawet pełne 256 symboli; więc za pomocą 1000 symboli możemy zdefiniować jedynie 256^1000 róznych definicji, malutko w porównaniu choćby do Grahama; więc masę mniejszych liczb będzie niedefiniowanych tą formułą; o ile za pomocą 900 znaków można zdefinować np. ogromną liczbę, to będą takie że za pomocą większej liczby niż 1000 będzie o wiele mniejsza a nam chodzi chyba o najmniejszą definiowaną wieksza ilością znaków niż 1000; przykład: o ile liczba Grahama to np. 150 znaków definicji, to liczba podobna, mająca tyle samo cyfr, ale innych, losowo zmienionych, nie da się łatwo zdefiniować
Najmniejsza liczba większa niż każda liczba skończona wyrażona w języku teorii mnogości z użyciem googol lub mniej symboli.
Kod: Zaznacz cały
https://chatgpt.com/share/68c5cee8-3064-800c-b3d1-83caec730b7b




