Логіка висловлювань другого порядку