Suprun (MathLogic)