Слово dasein в немецком языке подразумевает такие понятия, как «бытие», «существование», «присутствие». Дазайнзанализ, или «экзистенциальный анализ», основывается на работах философа Мартина Хайдеггера, на которого, в свою очередь, оказала огромное влияние феноменология его учителя, Эдмунда Гуссерля. Халбек стоял у истоков создания Онтоаналитической ассоциации Нью-Йорка. Не исключено, что запоздалый интерес Гёделя к феноменологии Гуссерля обусловлен именно знакомством с этим странным врачом. Автор не рискнет приводить здесь краткое ее определение.