Semantische Paradoxien, Typentheorie und ideale Sprache | lit.salon