The non-absoluteness of second-order truth relative to ZFC reflects a limitation of ZFC as a metathe...