I just wrote a bit more in the Kurt Gödel article and translated the title of his famous writeup as "la'o ly. Principia Mathematica .ly. e lo simsa ciste zo'u da poi bridi na ka'e lojysu'a te jdice". I'm not at all sure that I got the right word for "formal". Ideas? Pierre -- .i toljundi do .ibabo mi'afra tu'a do .ibabo damba do .ibabo do jinga .icu'u la ma'atman.