Zuhair

4,555
reputation

Amateur of Mathematical logic and foundations.

Founder of Acyclic comprehension criterion.

Erdős number: 4.