Wyjaśnij podstawowe zasady rachunku predykatów, w tym kwantyfikatory, zmienne i formuły. Zilustruj, jak rachunek predykatów różni się od rachunku zdań i dlaczego jest ważny w matematyce. Podaj przykłady zdań formalizowalnych w rachunku predykatów i takich, które nie mogą być w nim wyrażone.