How Do We Capture the Truth of Beliefs? Type Theory