arytmetyczno-syntaktyczny

Słowo poświadczone w fotocytacie:
(...) § 60d. Każda arytmetyka jest ułomna Niech Sj zawiera arytmetykę (w stosunku do pewnego 3-ciągu) i niech liczby rzeczywiste będą reprezentowane w Sj przez ¿fu1. Niech Sj będzie konserwatywnym podjęzykiem S2 i niech zarytmetyzowana składnia Si będzie sformułowana w S2. Pokażemy, że za pomocą terminów arytmetyczno-syntaktycznych w S2, jako odnoszących się do S|, w S2 można zdefiniować taki ¿fu1, dla którego w St nie ma 3fu1 mającego ten sam przebieg wartości; jest to prawdą dla każdego języka S1? niezależnie od tego, jak byłby on bogaty, jeśli jako S2 weźmie się język dostatecznie bogaty. Zdefiniujemy 3fu1 ‘k’ w S2 w następujący sposób...

Dodatkowe informacje

Diachroniczna częstość użycia słowa (wystąpień na milion wyrazów):
Lokalizacja ekscerptu na stronie:
Adres bibliograficzny:
Carnap, Rudolf 1995. Logiczna składnia języka, przeł. B. Stanosz, Warszawa : Wyd. Nauk. PWN
Etykiety gramatyczne poświadczenia:
przymiotnikliczba mnoga

Zastrzeżenia

W naszych materiałach trafiają się błędy, są nieuniknione w tak wielkim zbiorze danych. Procentowo nie jest ich jednak więcej niż w klasycznym 11-tomowym Słowniku języka polskiego pod red. Witolda Doroszewskiego. Ciągle je wyszukujemy i nanosimy natychmiast poprawki, co w epoce przedelektronicznej było zupełnie niemożliwe.
Sąsiedztwo a tergo