Lo extensional se trata en matemática como "ambiente" - no es algo sobre el cual los matemáticos realmente esperen tener una teoría.