Haskell Karri, riyaziyatnı formal sistemalar aqqında "ilimi kibi " tayin etti.