Satser

AlefWiki
Hoppa till navigering Hoppa till sök

Satser är matematiska finurligheter som kan liknas vid verktyg. När en sats blivit bevisad kan den användas till att bevisa ytterligare användbara satser. Rykten har uppstått att satser även kan skapas genom Pbak (en "baksats"), men inga konkreta argument finns för detta än. Mupparna har formulerat många satser, eller, för de bortskämda individerna, Mupparnas Polska läxhjälp. Se länken nedan för en lista över kända satser.

Se även

Den här artikeln är hämtad från https://alefwiki.se/index.php?title=Satser&oldid=7834