Yes. Mathematicians don't really get logic, and Tao is no exception.