Where does this definition of formal undecidable proposition come from?
This entry for formal undecidable proposition is sourced from GetWord Corpus, one of the dictionaries and corpora merged into Lughet.
Does formal undecidable proposition appear elsewhere on Lughet?
Yes — formal undecidable proposition appears under other sources or language pairs in Lughet's collection. See the list below.
What is Lughet?
Lughet is a free trilingual dictionary covering nearly five million entries across Uyghur, Chinese, and English, drawn from more than ten source dictionaries and corpora.