multiplicador de poder

[ teorema ]·[ multiplicador de poder ]


Hombre y Mujer:
[ si ( x [< y & x [< z ) ==> x [< z ]·[n]
[ si ( x [< y & x [< z ) ==> z < x ]·[n]


[ [∀f][∃A][ A = {x : f(x) } ] ]·[0]
[ [∀A][∀B][∃f][ < f : A ⟶ B & x ⤅ f(x) > ] ]·[0]