An idiot who has always been hopeless in maths, and yet is trying to self-study naive set theory and completeness of logic systems after getting home after work at 8pm everyday. This website is brilliant to someone like me who is not enrolled in a university.