In what sense is Principia mathematica of Russell and Whitehead a metatheory rather than an object theory? Dorais wrote at https://mathoverflow.net/q/159818: note that Gödel's Incompleteness Theorems were originally meta-meta-theorems: Gödel proved that the formal system of Principia Mathema...