Teorema deductivo en el Diccionario soviético de filosofía https://filosofia.org/enc/ros/teor2.htm