Planteamiento extensional de la lógica de términos (clase, extensionalidad); las clases se designan con las letras α, β, γ, etc.
Planteamiento extensional de la lógica de términos (clase, extensionalidad); las clases se designan con las letras α, β, γ, etc.