"decidable theory" Deutsche bedeutung