Planche des schémas et des formules du côté de LOM (H) et du côté des femmes (F)

de l'écriture de leurs ratages et suppléances respectives

H F
x a a a

la théorie T (S 2 ,T2 )
1 1 1
U(x)
x x a a
2 2

x U(x) = vide
x U(x) = Faux
Faux : x [( x a ) ( x x )] [( a a ) ( a a )]
= Faux
= vide

a a a a
1
U(x) U(x) 1
1 1

a a a a
2 2

1
U(x) [( a a ) ( a a )] = Faux [( a a ) ( a a )] = Faux

reste la page blanche elle même

A(x) A(a)

la théorie T ’ x U(x) (S 3 ,T3 ) x a

4
a a

1 3
a 1
3
A(x) = S(x) a a 2
x x 2

a = Faux
x [( x a ) ( S(x) ( x x ))] [ A(a) ( a a )]
x a = Faux
= vide

1 A(a) A(a)
a a a a
U(x) 4
2 4
a 1 3 1
3

x [( x a ) U(x) ] = vide
a a 2 a a 2

l’objet a est un modèle de la théorie T dans la théorie T’

[( a a ) ( S(a) ( a a ))] = Faux [( a a ) ( a a )] = Faux