Oración 1: oLF es una clase de Fräıssé y el LimF (OLF ) es (Q, <) Notemos que por la Observación 2.1.3, sabemos que N = {([n], <) | n ∈ N} es un conjunto de representantes de OLF módulo isomorfismo
Oración 2: es claro que OLF tiene contables clases módulo isomorfismo
Conector: por lo tanto,
Relación: reasoning
Género: theses