Zuhair Al-Johar
9,152
reputation
Amateur of Mathematical logic and foundations.
Founder of Acyclic comprehension criterion.
Erdős number: 4.