>>552
私は現実主義者なので、現実に意味がある概念を論じます
あなたはフォン・ノイマンに環論で批判されたところの形式主義に陥った数学者たちと同じですな