Krafs
Krafs är ett begrepp inom muppmatematiken. Krafs är definierat som mindre viktiga delar av ett bevis eller en lösning, alternativt delar av ett bevis eller en lösning man inte orkar tänka på i detalj. Krafs används inte på samma sätt som slafs för att beskriva hur en uppgift är klassifierad. Istället används den för att beskriva hur man bör gå tillväga för att lösa en uppgift. En giltig använding av krafs är "Kvadratkomplettera bara. Sen är det en massa krafs, och sen är det klart." Krafs kan också beskriva hur en lösning på en uppgift gjordes när den diskuteras av muppar. Exempelvis kan krafs användas i meningen "Jag provade att använda genererande funktioner. Det funkade, men det blev en del krafs."
Exempeluppgift och lösning
Här följer en exempeluppgift och dess lösning, där termen krafs kan vara användbar.
Visa att det finns oändligt många primtal.
Lösning: Antag att det finns ändligt många primtal, tag produkten av alla dessa primtal. Addera 1 till produkten. Eftersom detta tal inte delas av någon av primtalen måste talet vara ett nytt primtal, alltså finns det oändligt många.
Felaktighet: (Detta stämmer emmellertid inte; det nya talet som bildats måste inte vara ett primtal. Tillvägagångssättet är korrekt, men motiveringen till varför det är ett primtal är "mindre viktigt" och tyvärr inkorrekt.)
