Logika drugiego rzędu na pierwszy rzut oka wydaje się wspaniałym narzędziem – wzbogaca język logiki pierwszego rzędu w taki sposób, że możemy się wypowiadać nie tylko o obiektach jednostkowych, ale także o ich własnościach. Dzięki temu logika drugiego rzędu ma ogromną siłę wyrazu. Ta siła...
