This is my ideation of Characteristica Universalis, but while considering Gödel’s Incompleteness Theorem and any other hurdles like the Halting Problem.
That is, this should serve as a language for translating ideas between languages and computing the logic to a good extent. But it can only contain concepts that are familiar to the minds of our society.