Catuṣkoṭi (Sanskrit; Devanagari: चतुष्कोटि, Tibetan: མུ་བཞི, Wylie: mu bzhi, Sinhalese:චතුස්කෝටිකය) is a logical argument(s) of a 'suite of four discrete functions' or 'an indivisible quaternity' that has multiple applications and has been important in the Dharmic traditions of Indian logic, the Buddhist logico-epistemological traditions, particularly those of the Madhyamaka school, and in the skeptical Greek philosophy of Pyrrhonism. To understand it for example if we put Gödel's incompleteness theorems in Catuskoti format look as follows,