Besonderhede van voorbeeld: 2181243278197321092

English

Admissible rules can be thought of as theorems of a proof system.

Spanish

Las reglas admisibles pueden ser pensados como teoremas de un sistema de prueba.