आकारिक तर्कशास्त्र : पहा तर्कशास्त्र, आकारिक.