META-MATEMáTICA CAST