> come up with a lot of true facts in different fields, all of which we can try writing down in this language.

Reminds me of Cyc.[1][2]

[1] www.cyc.com [2] en.wikipedia.org/wiki/cyc