sentences:  So to utter "the thought thinks the thought" is nonsense, because per 5.542 the utterance does not specify anything.John von Neumann in his 1925 "An axiomatisation of set theory" wrestled with the same issues as did Russell, Zermelo, Skolem, and Fraenkel.He summarily rejected the effort of Russell