formalne teorije

Kvantifikatorski račun

Matematičke discipline se mogu posmatrati potpuno formalno tj. sintкsički. U takvom pristupu smisao pojmova i istinitost tvrđenja nema direktan uticaj...