Książkę tę starałem się pisać przede wszystkim na użytek studentów matematyki. Dbałem przy tym o maksymalną przystępność i dobór możliwie najprostszych dowodów, nie wymagających od czytelnika znajomości żadego innego działu matematyki uniwersyteckiej. Stąd książka może służyć również nie-matematykom: przyrodnikom i humanistom pragnącym zapoznać się z głównymi wynikami wchodzącymi w skład nauki zwanej dzis może częściej podstawami matematyki aniżeli logiką matematyczną.
Rozdział I ma charakter wstępny i obejmuje rzeczy nowe dla początkującego studenta matematyki, studentowi lat wyższych natomiast na ogół skądinąd znane. Czytelnik niematematyk również może zacząć lekturę od rozdziału II, który zawiera przystępny wykład klasycznego rachunku logicznego i nie korzysta w istotny sposób z rozdziału I. Dalsze rozdziały: III i IV opierają się już wyraźnie o rozdziały wcześniejsze i obejmują najważniejsze dotychczasowe wyniki badań metamatematycznych.