ラッセルの型理論は
「この文は偽である」がパラドックスと捉えられるのは
「この文は偽である」が「ｘは偽である」のｘに代入されるときであるが
ｘに代入される「この文は偽である」と「ｘは偽である」としての「この文は偽である」とを区別するもの
こういう理解でいいのでしょうか