decidable and undecidable property