Abstract

W pracy rozważa się problem pojęcia prawdy w matematyce. Punktem wyjścia jest definicja prawdziwości Tarskiego. Dyskutuje się tło filozoficzne tej definicji, jej znaczenie dla języka matematyki i dla filozofii, stosunek do różnych definicji prawdy. Rozważa się też związek dowodliwości i prawdziwości w matematyce. Korzystając z wyników logiki matematycznej wykazuje się, że warunki z definicji Tarskiego nie zapewniają jedyności interpretacji predykatu prawdy. Pokazuje się też, że pojęcia semantyczne, takie jak spełnianie i prawdziwość nie są pojęciami finitystycznymi i wymagają użycia pojęcia nieskończoności