Bertrand Russell
があるというものである。これらのメッセージを区別するためには、バートランド・ラッセルの論理階型理論が用いられる。