Математична логіка/ підсумковий тест