formal system

Dari Wikipedia, ensiklopedia bebas