Someone holds a correct creed but cannot construct its formal proof. Which issue directly concerns this case?

Greek Philosophy in Arabic: Its Encounter with Kalām