Hao Wang. Logician and Philosopher