twierdzenie matematyczne
Twierdzenie o części standardowej – twierdzenie mówiące o tym, że nieskończenie blisko liczby hiperrzeczywistej ograniczonej znajduje się dokładnie jedna liczba standardowa, tzn.: . Liczbę wyznaczoną przez to twierdzenie oznaczać można jako .
Abstract from DBpedia / Wikipedia · CC BY-SA
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).