Formala kalkulado

Formala kalkulado o formala operaco en matematikala logiko es e kalkulado, qua es sistematikala, ma sen rigoroza justifiko.