Perhaps the rather peculiar Gdelian assertions could somehow be separated off.
⇑ Translate the sentence above by Google ⇑
Related: assertion