No v podstatě jsi řekl, že pokud je tvá věta ekvivalentem axiomu, tak ho může nahradit. Což tak nějak z povahy axiomu a ekvivalence vyplývá, ne?
Je tomu tak a neexistuje. Imho.
Tak nejak se mi zda, ze pokud
T,a ˫ b
T,ne(a) ˫ ne(b)
tak uz nutne
T,b ˫ a
Je tomu tak?
A nejake slabsi kriterium neexistuje?
Ok, tak jinak. Da se nejak formulovat, jaky musi ten teorem byt, aby uz ta zamenitelnost platila? Pricemz samozrejme myslim jine kriterium nez "musi byt zamenitelny"...