Dostatecznie bogaty alfabet pozwala stworzyć przeliczalny zbiór T=wszystkich tekstów, zawierający wszystkie prace matematyczne, które jak wiemy, mogą nieraz zawierać bardzo wymyślne znaki (patrz inny blog i tabela podstawień TB). Wybór wśród nich wszystkich tekstów posiadających określoną cechę, jak np. definiowanie podzbiorów liczb naturalnych lub definiowanie liczb rzeczywistych jest bardzo trudny, ale zawsze możemy badać wybrane teksty pod...Read More