Full threadbaoyu·Vladimir Voevodsky received Fields medal in 2002, so please note that it's not usual amateurish try to create new mathematics while knowing nothing about the old one.View on HN