TEORIA Y METATEORIA

DE LA CIENCIA

ESTRUCTURA
CIENTIFICO-ONTOLOGICA
DE PRINCIPIO
Captulo Cuarto
Volumen II
JUAN DAVID, GARCA BACCA

Mara Rosa Flores Pea

C. V 5.202.605

TEORIA Y METATEORIA
DE LA CIENCIA
JUAN DAVID, GARCA BACCA

Nace en Pamplona (Espaa) el

26.5.1901
Muere en Quito (Ecuador) el
6.8.1992

ESTRUCTURA CARDINAL PURA DE UN

DOMINIO DE OBJETO
Muchos y variados objeto; a, b, c, , , , A, B, C se
hallan unidos en conglomerados, o con unidad de
conglomerados, cuando la unidad que los unifique sea de tipo
y (p. 471)
En contraposicin con las especiales unificaciones producidas
por otras relaciones menos que une a con b, a<b (p. 471)

Simple unificacin
basada en y

Indiscriminabilidad
Innumerabilidad
Conmutabilidad
Sociabilidad
Apertura.
(p. 471-472)

Relacin estructural y

grado del conglomerado (p.472)

Ciencia parte o no de un conglomerado!

Muchos y variados objeto se hallan unificados en conjunto,

si la unidad que los une es de tipo deslinde (p. 473)
Toda unidad eficaz posee dos funciones:
unificante y deslindante (p. 473)

UNIDAD:
Tipo Conjunto

Tipo Todo

Arbitrario Normal(p.
476)
Un campo de objetos comenzar por adquirir estructura cientfica, al
pasar de conglomerado a conjunto arbitrario y de ste a normal. La direccin contraria
deshace la estructura de ciencia y el estado cientfico del correspondiente universo (p.
479)
Los tipos de ciencias se caracterizan, desde este punto de vista, por el
nmero de objetos que o se quedan en conglomerados y en conjuntos
arbitrarios o que, por ley del universo, tienden a caer de conjuntos
normales a simples conglomerados (p. 479)
Si por estructura cardinal de un dominio de objetos
entendemos la vinculacin de dichos elementos en
conglomerados y conjuntos arbitrarios, podemos decir: La
estructura cardinal de un dominio de objetos da la medida de
su estado acientfico, precientfico o postcientifico (p. 479)

ESTRUCTURA ORDINAL PURA DE UN

DOMINIO DE OBJETO
Diremos que muchos y variados objetos
constituyen o forman coleccin, si estn unidos
con la relacin de precedencia (p. 481)
Precedencia incluye un (elemento) precedente y uno (al menos) secunte de
modo que el antecedente es precedente de un secunte puede ser un solo
elemento o un conjunto de ellos y un secunte es secunte de un precedente.
Del precedente (a) se dir que es el primero (1); del secunte (b) que es el
segundo (2). 1, 2 forman un par ordenado [a, b] (p. 481)
Ms precedencia es precedencia en algo: en edad, altura mientras no traiga relacin
de procedencia. (origen). Descartamos, de precedencia toda procedencia.
Precedente en edad es admisible aunque pueda basarse en procedencia padres e
hijos, viejos y jvenes en conjunto Si no se basa en procedencia, se basar en una
propiedad regulable, cada palabra comienza por una letra (propiedad) a, b,cz;
como regla una palabra precede a otra si comienza por una letra del alfabeto que, a su
vez precede a la otra letra por la que comienza la otra palabra
Cada nmero entero posee un cierto y determinado nmero de unidades (propiedad)
orden por el nmero de unidades (relacin mayor-menor) como regla un nmero
precede a otro si tiene menos unidades que estotro. As entre 1,2, 1 es el 1 y 2 el 2.
El orden de menor a mayor no coincide sin ms con el orden de precedencia pura.

La relacin menor a mayor es una de las posibles relaciones que pueden servir de base a
la relacin de precedencia. Es relacin ordenable, como hay propiedades ordenables. Ms
lo cardinal no fija lo ordinal (p. 481)
La relacin de implicacin es regulable por la de orden, o es relacin ordenable. No son
ordenables la relacin de equivalencia o la de identidad. Decir que (x)F (x) es
antecedente de F (a) y que F (a) es consecuente de (x) F (x) Vale la
ley: Si de un antecedente (A) sigue un consecuente (C) esta implicacin
equivale a decir que de la negacin del consecuente se sigue la
negacin del antecedente; y en este caso ha pasado a precedente (p)
lo que antes era secunte (s) (p. 481)
Si pretendemos que un dominio cientfico, adems de relaciones de procedencia:
deductiva, causal, evolutiva, posea estructura ordinal relacin de precedencia- ser
preciso descartar la propiedad relacional de conmutatividad (p. 482)
As lo 1 es el signo , lo 2 son los parntesis globales, lo 3, los signos
intraparentesis. hasta llegar a la proposiciones (p. 483)
Invariancia fija el grado de trascendencia del orden frente al material: El orden entre n
elementos, no es lo mismo que los n elementos ordenados.
No se distingue el conglomerado de n elementos de talTal relacin carece de
sentido, por ello no conduce a antinomias de ninguna clase
Se distinguen conjunto de (n) elementos. n elementos de tal conjunto, tal como
conjuntos de conglomerados. La confusin lleva a la contradicciones
Se diferencia coleccin de n elementos, respecto de los n tal coleccin. La confusin
entre cardinal y ordinal lleva a sinsentidos, se va viendo imposible la ciencia.. No
destruye la posibilidad de proposiciones sueltas, de objetos independientes (p. 483)

Entre el 1 en orden alfabtico y el 2 por edad (mayor) respecto de hombre,

puede darse relacin de identidad el mismo individuo es 1 en ambos
aspectos Si el 1 en clase es el 1 por orden alfabtico y el 1 en edad, no por
eso el 2 tendr que ser el 2 por orden alfabtico y el 2 por edad,plantea
problemas precientfico y mejor metacientficos, pues tal carcter de pre los hace
previos de previos. (p. 483)
Los ordinales no se suman o son neutrales frente a tal operacin.
Neutralidad entre cardinalidad y ordinalidad, neutral frente a la transitividad e
intransitividad; 1 + I + A ni 1, I, A,. no-conexas
Caso ejemplar: Los axiomas de la geometra, clasificacin de Hilbert, cinco grupos:
conexin, orden, congruencia, paralelismo, continuidad. No forman un conglomerado
Los Ax. De conexin no son el 1er grupo, los de orden el 2do
Por contraposicin, en la geometra euclidiana, los precedentes constituyen coleccin por
razones de tipo filosfico
Titulo 1. (Definiciones): punto, lnea
Titulo 2. (Postulados) ) (para construir o causa geomtrica
Titulo 3. Nociones Comunes:
Comparando los dos modos de la misma geometra: en la forma Hibertianala relacin de
precedencia rige entre axiomas y teoremas; los axiomas forman conjunto; en la
euclidiana, ordena los axiomas mismos, adems de los teoremas, es un sistema ordinal.
As que los dos sistemas son incomparables, o, al menos independientes, tanto como el
nmero cardinal del ordinal. Se trata de dos modelos diversos de moldear material
cientificable
(p. 486)

 Entre ordinales no vale relacional de equitransitividad

En relacin ordinal trminos medios son ineliminables.
Lo ordinal posee la propiedad de unicidad. (p. 487)

Los tipos de colecciones o conjuntos ordenados

(p. 488)

Nacimiento (1er momento)

Muerte (ltimo)

Ordinal definido (finito),

primero, ltimo
Ordinal predefinido, primero,
segundo, pero no ltimo.
Designemos una coleccin por
[ ], resulta las afirmaciones
siguientes(p.488)

Regresin (, ] indica un
agrupamiento. Perfecto completo,
acabado admite precedente, no
siguiente.Termina con l (p.489)

1, 2, 3, , n, n + 1 1, 2|, 3 , n (n + 1)

El nuevo tipo de agrupamiento mixto de

coleccin [a, ] y de conjunto [a, ) queda
indicado por [ ). (p.488)
Ordinal de Progresin: S el *
puesto de exponente descenso
de nivel [,]* = [) (p.489)
Tipo de coleccin o conjunto
ordinal Uno precede al otro, ms no
seda ni precedente absoluto (primero) ni
post-cedente absoluto (final)
(p.490)

A.M.II.23

Afirmacin general: por aplicacin repetida de la operacin * (desencerrar)

es siempre posible el descenso de coleccin a conjunto, de conjunto a
conglomerado Simblicamente: []; *[]* = (); * ()* =
Los parntesis indican distintos tipos de cerradura que no pueden confundirse
entre s y menos con los elementos encerrados. Es decir: adems de tener que
distinguir entre cerradura por coleccin y cerradura por conjunto hay que
continuar distinguiendo entre conjunto de n elementos y n elementos (de tal
conjunto) que es ya un conglomerado; coleccin de n elementos y los n
elementos (de tal coleccin) que es ya un conjunto (p. 493)

ESTRUCTURA PRINCIPIAL DE UN
DOMINIO DE OBJETO. SISTEMA
Un dominio de objetos posee estructura principial cuando sus elementos
estn unidos por la relacin de procedencia... Llamado sistema La relacin
de procedencia (pura) incluye los siguientes aspectos (p. 492)
Irreflexiva: nada procede de s mismo; as que, al quedarse algo (a) solo y a solas, si fue
a procesor respecto de un procedido (b) Pr (a; b) no vale Pr (a; a) si vale a < b y de b
quitamos una cantidad conveniente puede resultar a = b y vale a = a; ms no ya a < b
vale la relacin de procedencia -b procede de a- si se acaba la procedencia podr
sobrevenir entre a, b, una nueva relacin, casi siempre de igualdad (p. 492)
Asimtrica: Si vale Pr (a; b) no vale Pr (b; a); la directa y la inversa no
son la misma relacin. Se parece en esto, por tanto, la relacin de
procedencia, Pr (a; b), a procesor de b; Pr (b; a), b es procedido de a, a
relaciones cual 1 < 2. Se puede parecer ms no es lo mismo (p. 492)

Intransitiva: dos tipos 1 transitividad simple, cual la de 1 < 2, 2 < 3, 1 < 3,

en que el termino medio (2) juega un papel de intermediario eliminable; 2
transitividad con termino medio ineliminable, cual a precede a b, b precede a c,
ms a no precede a c; vale ms bien a y b preceden (justamente) a c; La
relacin es intransitiva en peculiar sentido (p. 492)

La relacin de procedencia se define por la formacin de

cadena La de causalidad puede dar circuitos (cerrados) (p. 493)
Axiomas de orden de Hilber A

(II.1) S A,B,C son puntos de una recta, y B esta entre A y C, estar tambin entre C
y A.
(II.2) Si A y C son dos puntos de una recta, hay siempre un punto B, cuando menos
que est entre A y C y hay al menos un punto D tal que C este entre A y C.
(II.3) Entre 3 puntos de una recta, hay siempre uno y solamente uno que est entre
los otros dos. Excluye orden circular. (p. 493)
Orden cerrado o simetra de la relacin entre
Propiedad de orden abierto, semejante recta euclidiana, que se
exige, por definicin, de la relacin de procedencia (p. 495)

La condicin de elementos apareados elimina el axioma II.2.

Procedencia es relacin univial (contra axioma II.1) ordinal (contra axioma II.2) y
abierta (segn axioma II.3) Tal es el tipo peculiar de intransitividad. Ms es preciso
descartar l y que afecta la pura relacin ordinal de precedencia.
En una lnea se unen los precedentes y por muchos que se unan nunca llegarn al
secunte. La procedencia es relacin discontinua, adems de irreflexiva, univial, ordinal
y abierta (p. 495)

a) Propiedad de irreflexividad: Un teorema no se demuestra por si mismo

inmediatamente. circulo vicioso a no se demuestra por a; a se muestra por si
misma ser a, ni ms ni menos.
b) Propiedad ordinal. dos teoremas uno tiene que preceder (pr) al otro y (Pr) proceder de
ese otro justamente. T1 es el predecesor y el procesor de T2 un teorema el primero
respecto al otro que es el segundono hay intermedio, siguen apareados los dos
teoremas.
c) Tres proposiciones teorematizablesT1, T2, T3, modelo perfectocardinal ordinal, solo
uno es el 1, otro el 2 otro el 3 en virtud de (b)
d) En ciencia tipo cadena (pura) valen T110 T220 T330, no vale T130 T220 T310 Los
teoremas de tal ciencia estn univialmente ordenados.
e) Una ciencia se hallar constituida segn el modelo de cadena pura,T110 , T220 , T330,
Tnno , Tn+1n+10 para cada tres no hay sino un solo intermediario exige un primer
teorema T110 y por la asimetra (univialidad) de la relacin de procedencia.
f) Si la relacin de procedencia, se distingue de la procedencia causal un teorema
procede de otro en virtud de los mismos axiomas y de las mismas reglas de
deduccin doble mismidad la de axiomas y la de reglas de derivacin.
Todos los teoremas de la lgica proposicional ofrecen un caso de estructura cientfica de
procedencia pura: cada teorema se integra del mismo material, con los mismos valores
posibles; V, F, con las mismas operaciones , - , v, , . , segn los mismos
axiomas pp p, pq qp, segn las mismas reglas de deduccin modus ponens,
sustitucin (p. 496)

Un universo estructurado segn procedencia pura se tiene en

bloque; es una unidad total.se trata de modificacin de
identidad, o de modos compatibles con identidad. Lo mismo
de diferentes maneras
Respecto del universo de axiomas y teoremas universo
estructural cientficamente segn modelo de procedencia pura,
o sea: principal. Segn tal modelo podr decirse si una ciencia
dada se halla realmente estructurada, en ms o en menos,
segn l; y, en segundo lugar, proponerse cual plan, un
proyecto, designio y decisin, refundir un material dado en
molde principal (p. 498)

PRINCIPIO COMO MODELO DE

ESTRUCTURA CIENTFICA
Clasificacin de modelos cientficos:
PRIMERA: Dosificacin fctica de los tipos de unificacin por
conglomerados, conjunto, coleccin, sistema dentro de ciencias dadas
SEGUNDA: Dosificacin de dichos tipos, segn el modelo principal.

LEYES DE PASO Y CORRELACIN ENTRE

CONGLOMERADOS, CONJUNTO,
COLECCIN Y SISTEMA.
Tales leyes van a constituir un clculo de parntesis o de relaciones entre tipos de
unificacin y de unidades resultantes
Se designar un Conglomerado y no cabe ms que un solo conglomerado. El
Conglomerado. Por tanto: (p. 497)

T.M.II.3) Metateorema 1.11. S por una operacin de apertura, se abre un

agrupamiento superior de elementos, el conglomerado resultante final es El
Conglomerado.. S ante un conjunto de 2 elementos (a,b) y por una operacin
desencerrante,se trueca tal conjunto normal en conjunto arbitrario )a,b(;
un paso ms, quita el parntesis abierto el agrupamiento resultante a,b es un
conglomerado, debe escribirse a, b; y por tanto es El Conglomerado,
designado por -
La simple multitud no tiene lmitelo que ha perdido su unidad queda
adscrito a multitud. Se trata de un Metateorema, pues trasciende el dominio
estrictamente cientfico. La operacin de apertura incluye a) de desunificacin
b) de descenso. Apertura gradual o graduable. Al revs: la operacin de
cerradura no es uniforme; es unificante y ascendente en unidad (p. 498)
T.M.II.4) Metateorema 1.12. Los tipos de agrupamiento se hallan en grados y
niveles. La determinacin del nmero de grados (de unificacin) y del nmero
de niveles dentro de cada grado pertenecen a la metaciencia o filosofa de la
ciencia se distinguen cuatro grados de unidad El Conglomerado; no cabe
niveles, nivel y grado infinito, nico. (a, b) el conjunto; caben (a,b) conjunto
normal, )a,b( conjunto arbitrario; [a, b], coleccin; criterio de ordenamiento,
cabe [a, b], coleccin normal ]a, b [, coleccin arbitraria; [a, b], sistema la
misma distincin de nivelesagrupamiento total de axiomas y teoremas de la
lgica proposicional constituyen un sistema, se ordenan entre sel orden
impuesto es arbitrario desde la relacin de procedencia, no destruye la
relacin (p. 499- 500)

T.M.II.5) Metateorema 1.131. El preconcepto implcito y eficiente de

ciencia actual, encierra la exigencia y tendencia a dar a todo
agrupamiento de objetos, el estado de sistema; los estados de coleccin,
conjunto y conglomerado aparecen, vistos desde tal tendencia, su plan
cual caos, trascender lo antes y mejor posible. El concepto de caos no
nos es posible, sino por el de sistema (p. 501)

T.M.II.6) Metatorema 1.132. La ciencia actual presupone que todo

conglomerado puede ser unificado en conjunto; reunificado en coleccin;
reunificada en sistema. Presupuesto adopta en teoria la forma de axioma
de Zermelo: todo conjunto puede ser bien ordenado
U unificacin; C conglomerado; c conjunto; k coleccin y s sistema.
u1a u (C)= c, (- )
u2a u (c)= k, [-]
u3a u (k)= s, [-] la tercera
potencia de unificacin da el lmite de sistema. Por tanto la ley expresada en
metteorema a se formulara: C u(C)
u (c)
u (k) tiende al
lmite s (sistema)
La ciencia actual da tales pasos hacia el lmite, pertenezca o no a la
sucesin que hacia l tiende o apunta
(p. 501)

T.M.II.7) Metateorema 1.133.Tratar cientficamente un dominio de objeto es un

plan, proyecto-designio-decisin, es acto primigenio, porque s, de la voluntad;
no, acto necesario, del orden de necesidad interno y propio de la ciencia (sistema)
No es necesario que haya ciencia, ms es necesario que la ciencia tenga carcter
interno de necesidad. Dos tipos de necesidad y sus contrarios, entre Todo de n
elementos y n elementos de tal todo. La ciencia es hipotticamente necesaria,
respecto a su surgimiento, ms, una vez surgida, es internamente necesaria la
libertad se haya en la fase previa a la ciencia; es un previo, no de ella, sino de la
voluntad planificadora.
La afirmacin C u(C)
u (c)
u (k) con lmite S, se transformar en
Po [C, u(C) u (c) u (k)] tiene lmite S (sistema) Un sistema es el ms
afectado de libertad inicial, de posicin libre de los principios de los que, por tal
decisin, seguir o dems necesariamente
Por tanto ponerse a hacer ciencia, no es mrito cientfico, ni no hacerla es
desmerito cientfico
Frente a un principio se da justa y mximamente libertad, sin mrito aceptarlo,
sin desmerito no aceptarlo; la necesidad viene como modo condicional entre
principios. Necesidad absoluta no tiene sentido de ciencia (p. 502)
(p. 502)

ALGUNOS CASOS EJEMPLARES DE DOMINIO DE

OBJETOS ESTRUCTURADO PRINCIPIALMENTE.
Ejemplo de ciencia principial, con dosis determinada de C, c, d, e.
El Metateorema 1.131, 1.132, la ciencia actual presupone que todo
conglomerado tiene que ser unificado hacia sistema.
Lgica proposicional, S convenimos en que p, q, r. sdesignen
proposiciones tomadas en bloque, ser posible afirmar:
La lgica proposicional no parte de un conglomerado o de l, sino de un
conjunto normal admite propiedad V o F (p. 504)
Propiedad V o F, sin sentido de lo unible por y, ya que da un
conglomerado, jams una proposicin (p. 504)
La unidad tpica de la lgica proposicional (modelo Hilbert, ob. Cit.)
elimina por virtud sus axiomas, reglas, operaciones y teoremas todo
conglomerado
La lgica proposicional est estructurada en plan de unificacin
progresiva 0; (11); ]110[;]1110[; o tomando los ndices por nmeros: 0 < 11
< 110 < 1110
(p. 508)

Axiomas sealados por Wthitehead-Russell, Hilbert-Bernays.

Ax. pp q p pq
pq qp (p q) (rp rq)
cada uno es una coleccin cuyos elementos p, q, r , v, ., todos repetidos una
y ms veces Componente prximo a dar elemento de un puro
Conglomerado. La propiedad conmutativa vgr., pq qp, otro de los
componentes a hacer caer una formula a conglomerado Elementos en
relacin de precedencia inflexible; solo reglas de deduccin procedencia
podrn introducir rebaja Queda como conjunto arbitrario que sean 4
axiomas, ni ms ni menos hasta que por procedimiento constituye conjunto
normal Adems suponiendo que constituyan conjunto normal, la condicin
de independencia impide que formen una coleccin o conjunto ordenado
normal La de suficiencia le confiere el carcter de conjunto normal
(p. 505)

ndices de la Lgica proposicional. No hay conglomerado o no entra el

conglomerado; indice positivo de estructura cientfica Los axiomas
constituyen un conjunto normal (demostracin de suficiencia) (A) tal
conjunto de axiomas no puede dar coleccin normal a causa de la condicin
de independencia ]A[. ndice de Conglomerado 0, 1 C = 0, no hay
conglomerado entre objetos del dominio considerado; C = 1, se da
conglomerado entre ellos.
Indices de conjunto (C), ( ) = 11 (normal); ) ( = 10 (arbitrario); Indices de
Coleccin (d) [ ] = 111 (normal); ] [ = 110 (arbitrario) Lgica Proposicional
(Lp)
(p. 507)

2.- La lgica de predicado (clculo funcional simple; cf.

Ob.cit., pp 53 y ss)
A los axiomas pp q;
Ax I
p pq; Ax. II
pq qp; Ax. III
(p q) (rp rq)
Ax. IV; aadamos
(x) F (x) F (y) Ax. V
F (y) (Ex) F (x) Ax. VI y a las reglas de
sustitucin y de deduccin aade una tercera que relaciona
todos y hay al menos uno. El Ax V pasa por implicacin
de todos (x)F a uno cualquiera (y) el Ax . VI pasa por
implicacin, de uno cualquiera, a uno designable, a un ste (p.
513)
1.
2.
3.
4.
5.

No entra aqu, ni en axiomas, reglas

Los Ax. IVI delimitan tan solo un conjunto arbitrario, destacando por
V o F lo que no es proposicin.
De las reglas, aumenta el campo de sustitucin; por tanto el descenso
hacia conglomerado; y el nuevo esquema acrece este mismo descenso
Dos nuevas operaciones, se pueden reducir a una
De los teoremas de clculo proposicional: cuantificacin distributiva en
teoremas (p. 514)

Intercambio indifernte de universalidades;

(x) (y) F (xy) (y) (x) F (xy) Los teoremas de tipo fleco, respecto de los
teoremas de cadena seguida, (x) [F(x) G (x) ] (x) F(x). Los teoremas
no solo no forman cadena perfecta, ni al menos cadena coherente en flecos,
sino aumentan, de manera sistemtica, el predominio de la extensin, hacia
universalizacin uniforme (x), hacia distribucin de (x). As que tenemos
]T[, o ndice 1100.
Tipo de unificacin p =; )10(; progresiva ]100[; ]110[. O tomandos los
ndices cual nmeros: 0 < 10 < 100 < 1110. Comparese en la progresin de
unidad de la Lgica proposicional 0 < 11 < 110 < 1110. O sea: U (Lp) < U
(Lp), la unidad de la lgica predicacional
Lgica de Boole. Algebra de la lgica. La comprensin o contenido propio de un
concepto determina, de manera positiva su extensin, que elementos del mundo o
conglomerado, entran como elemento de tal concepto. Un conjunto determina una
extensin (conj. Nor) ms que una condicin concreta determina una clase, la condicin
de ser x mayor que 1 y menor que 4 la condicin abstracta ni ms ni menos que,
todos y solo los determina un conjunto arbitrario
(p. 516)

Un conjunto arbitrario x, surgir por la condicin estos ni ms ni menos; y por la de

estosotros, ni ms ni menos; z incluir tales otros, ni ms ni menos (p. 516)

Caben tres operaciones que no destruyen en l, el carcter de El Conglomerado ni la

arbitrariedad de los conjuntos:
Interseccin: x y incluir los elementos comunes a x, y, si x incluye y si y
encierra.
Aglomeracin: o suma conjuntual trascendental abarca los elementos diferentes de
x, y ; as x + y incluye )a, b, c, d, e, f(.
Resto: x y descarta de x los elementos que entre en y, -y es el conjunto
arbitrario )a, b( (p.518)

a) Entra en ella con pleno sentido y propiedad, El conglomerado: As C = 1 y no = 0.

b) Las operaciones interseccin, aglomeracin, complementacin dan conjuntos
arbitrarios dentro del conglomerado de tipo )10(
c) Los Ax. Formulan propiedades conmutativas , de interseccin y aglomeracin, la
distributiva doble y no simple, es decir refuerzan la unificacin arbitraria de
propiedades asociativa y conmutativa su ndice de unidad es )100(
d) Los teoremas surgen de los Ax. Y definiciones mediante reglas lgicas ordinarias,
deduccin de teoremas a partir de 7 Ax. (p.518)

4. Teoras de los tipos de orden. Obra Huntington por elemental y clara.

T.M.II.8) Metateorema 1.14. Dominio de objeto segn la exigencia:
Mximo de precedencia y mximo de procedencia, valorar tres casos:
1. Teora de los conjuntos simplemente ordenados y bien ordenados
Cantor) Conjunto ordenado de objetos rige una relacin de
precedencia (<) dos cualesquiera, valgan los postulados
(p.519)

P. 1. Si a, b son dos, o a <b o b < a; o a pre. a b; o b pre. a.

P. 2 Si vale a <b, a y b son elementos distintos.
P. 3 Si a < b, y b < a, vale a < c (conj. bien ordenado, satisface)
P. 4 El agrupamiento ha de tener un primer elemento
P. 5 Todo elemento de l, debe tener un sucesor inmediato.
P. 6 Todo segmento fundamental, tiene un lmite. (p.520)

 Conjunto bien ordenado:

1. Un conjunto bien ordenado es un conjunto cada uno de cuyos
subconjunto tiene un primer elemento.
2. Conjunto bien ordenado es un conjunto en que no hay un
subconjunto de tipo regresin.
a) Un conjunto bien ordenado, los elementos 12, 13, 14, son
puntos de discontinuidad o transcendencia. L precedencia tpica de
conjunto bien ordenado incluye la procedencia entre sus
segmentos fundamentales.
b) Un conjunto bien ordenado sus elementos estan adems de
relacin de precedencia en relacin de procedencia incluye solo
un segmento fundamental. Relacin de procedencia elimina la de
precedencia Relacin de procedencia impone una sola relacin
de precedencia.
c) El simple orden prescinde de procedencia comprobacin de orden
y subrdenes en un dominio no permita concluir la existencia de
una relacin de procedencia.
d) Si un agrupamiento de objetos odenados por relacin de
precedencia y reordenados en segmentos fundamentales por
relaciones de precedencia excluye positivamente en sus
segmentos fundamentales relacin de procedencia directa El
todo puede ser producido, ms no producidas cada una de sus
partes.
e) El que una teora de la evolucin (procedencia) sea incompatible
con tipos de precedencia u rdenes diversos. Dentro de una
especie (fija) si se da procedencia (genealoga) desaparece la
precedencia entre sus elementos; todos resultan del mismo orden

2. Teora ordinal del nmero natural. Basada en los postulados.

a) 1 es un nmero; o la propiedad nmero (N) conviene a , N (1)
b) Si x es un nmero, el siguiente de x tambin es un nmero.
c) Si x, y son nmeros y el siguiente a x es el mismo que el siguiente
a y, x, y son el mismo nmero
d) Si x es un nmero, el siguiente de x no es el 1;
e) Si 1 posee una propiedad X, y para un nmero cualquiera, y;
podemos demostrar que de posela y, X(y) la posee su siguiente X
[S(y) ] (p.523)
a) Estructura general de orden. Coleccin ejemplar, sin flecos
b) 1. El antecedente que es uno, El procesor. 2.- A cualquier otro
antecedente-procesor corresponde un solo secunte-procedido.
3.- A cualquier secunte-procedido corresponde un solo
antecedente procesor. 4.- Las propiedades de El AntecedenteProcesor se difunden una a una hasta llegar, uniformemente, a
todos.
c) Tal coleccin perfecta resulta sistema perfecto, todos es conjunto
normal; respecto de un conjunto arbitrario, todos significa ni ms
ni menos que estos (p.525)

DIVISIN DEL TIPO DE CIENCIA

PRINCIPIAL
a) Ciencia principial taxonmica Aquella en que la relacin de
precedencia (orden) domine en el grupo de axiomas, ms no la
de procedencia, por tanto, la relacin de procedencia, requisito
para ciencia principal queda reducida al grupo de teoremas y
les viene no del N de los axiomas, sino de las reglas
b) Ciencia principial genealgica Se caracteriza por la
eliminacin del grupo taxonmico, eliminacin de la categora
de conjunto. La lgica proporcional, la funcional y la booleana
incluan en sus bases conjuntos normales y arbitrarios y el
conglomerado; los Ax simple conjunto (11) conjunto ordenado
en coleccin arbitraria (110) la genealoga confinada a
teoremas (ndice 110) reglas deduccin.
(p.531 - 35)
El modelo de ciencia principial genealgica
1.- si la relacin de procedencia organiza Ax y To (ndice 1111, o 1110);
2.- si los Ax. y To poseen orden de precedencia normal (111) (p.535)

POR SU
ATENCIN
GRACIAS