CONTENTS Introduction..............................................................................................................................................................3 1. Lemmas concerning first order formulas.....................................................................................................5 2. Representability of recursively enumerable sets........................................................................................9 3. Simple theory of types.......................................................................................................................................10...
INTRODUCTION A. THEORY OF MATHEMATICAL NOTIONS A1. The axiomatic method A1a. Elementary and non-elementary HyuteniB of axionm A1aa. General definitons A1ab. The general theory of elementary systems A1ac. The notion of categoricity and the theory of non-elementary systems A1b. The axiomatic method applied to concrete mathematical theories A1ba. The arithmetic of natural numbers A1bb. The axiomatic theory of sets A1bc. The axioms of the theory of real numbers A2. Constructive trends in foundations...
SPIS RZECZY PRZEDMOWA........................ III ERRATA.................... VII CZĘŚĆ I ROZDZIAŁ I. WIADOMOŚCI WSTĘPNE § 1. Wstęp............................. 1 § 2. Zmienne funkcje zdaniowe................. 3 ROZDZIAŁ II. RACHUNEK ZDAŃ § 1. Negacja..................... 7 § 2. Koniunkcja.................. 8 § 3. Alternatywa................. 9 § 4. Implikacja.................. 10 § 5. Równoważność................ 12 § 6. Uwaga dotycząca symboliki... 13 § 7. Dalsze funktory zdaniotwórcze. Związki...
Download Results (CSV)