Mostramos que la lógica proposicional intuicionista es: la única interpretación de los conectivos consistente con la relación de consecuencia intuicionista es la interpretación estándar. Esto se mantiene con respecto a las semánticas más conocidas en relación a las cuales la lógica intuicionista es sonora y completa; entre ellas, semántica de Kripke, semántica de Beth, semántica de Dragalin, semántica topológica y semántica algebraica. Estos hechos resultan ser consecuencias de una observación sobre interpretaciones en álgebras de Heyting.