I want to be able to write stuff like “All complete sentences written in English contain at least one vowel” without having to write it in Spanish or as an incomplete sentence.
Nitpick: Since this sentence doesn’t refer to the truth value of any English sentence, you’d still be able to write it even if you were using type hierarchies or the like.
Nitpick: Since this sentence doesn’t refer to the truth value of any English sentence, you’d still be able to write it even if you were using type hierarchies or the like.