Redirecting to Gödelova věta o úplnosti predikátové logiky