Oración 1: en este orden de ideas, para ver que OLF cumple la propiedad de Ramsey basta mostrar que dados k, n, r enteros positivos fijos tales que k ≤ n existe un ([k],<) s ∈ N tal que ([s], <) → ([n], <)r
Oración 2: dados A,B ∈ OLF tenemos que existen k, n ∈ N para los cuales A ∼= ([k], <) y B =∼ ([n], <)
Conector: en efecto,
Relación: entailment
Género: theses