En este estudio, abordamos el problema de la compactación de los números de Church. Los números de Church son representaciones unarias de números naturales en el esquema de términos lambda. Proponemos un esquema de descomposición novedoso a partir de un número natural dado en una expresión aritmética utilizando la tetration, lo que nos permite obtener una representación compacta de términos lambda que conduce al número de Church del número natural. Para el número natural , demostramos que el tamaño del término lambda obtenido por el método propuesto es . Además, confirmamos experimentalmente que el método propuesto supera en rendimiento a la representación binaria de los números de Church en promedio, cuando es menor aproximadamente a 10,000.