En esta charla comentaremos cómo la axiomática de I. Panin para las teorías cohomológicas orientadas en el ámbito de las variedades algebraicas lisas y casi-proyectivas permite enunciar y demostrar la propiedad universal de la teoría K. Como corolario de esta propiedad universal, probaremos la versión de Grothendieck del Teorema de Riemann-Roch, así como el resultado análogo para las operaciones de Adams.