Did Euler’s ‘2’ refer to ZFC’s {0,{0}}?