Formulák bármely ß-konzisztens rekurzÃv k osztályához találhatók olyan r rekurzÃv osztályok, amelyben sem (v Gen r), sem Neg(v Gen r) nem tartozik Flg(k)-hoz (ahol v az r szabad változója). Megoldást üzifalra.
If M=100% then ajándék!
Holisztikus redukcionista