ڤارا فورماليس لاىن، لاعىى رودولف چارناڤ، إلفرىد طارسکي، نعىن حاسکىلل چورري، عىوانععاڤ ماتىماتيک سىوباعوى ڤىوسودي سيستىم اکسيوما فورمال.