Como es difícil tener el sistema de axiomas combinatorios original reproducimos aquí la versión dada en Rosenbloom 1950.