>>436
あんたが思い描いている「直観主義」は数学の人が使う用語としての「直観主義」とは異なっている。
まずはその間違え(思い込み)を認めなさい。
また Tarski は数学者であり論理学者である。