[notes] Set theory and philosophy