Reflexivity and the diagonal argument in proofs of limitative theorems - Kajetan Mlynarski (CoRR, 2011)