logical system

Noun

 * 1)  A formal system.