Hi Hvis!

Inferentially undecidable sentences of Russell's Principia

Mathematica are not nonsensical. However, they are obscure

because no particular example is known because no one knows

how to present them constructively.