Podobnie można zakodować również bardziej skomplikowane byty (na przykład liczby rzeczywiste, rozmaite struktury algebraiczne czy przestrzenie topologiczne) oraz zapisywać twierdzenia ich dotyczące.
pl.wikipedia.org W wielu teoriach dowodzi się ogóloniejszego twierdzenia o tym, że przyporządkowane obiekty algebraiczne są izomorficzne już dla przestrzeni topologicznych równoważnych homotopijnie.
pl.wikipedia.org Rozumują raczej w kategoriach przestrzeni i struktur, składających się z pewnego zbioru elementów (np. liczb) oraz działań i relacji między nimi (np. relacje porządku i działania algebraiczne).
pl.wikipedia.org Semantycznie wyrażenie algebraiczne, jako wyrażenie dobrze zbudowane w języku algebry, jest zapisem pewnego algorytmu złożonego z elementarnych działań dodawania, odejmowania, mnożenia, dzielenia i potęgowania (pierwiastkowanie sprowadza się do potęgowania).
pl.wikipedia.org Opisywał przede wszystkim metody arytmetyczne i algebraiczne oraz trygonometrię sferyczną.
pl.wikipedia.org