In the sequent calculus, the rule of cut is admissible.
म्हणजेच अनुमानाच्या युक्तायुक्ततेचे नियम तर्कशास्त्र ठरविते.