(logical) formulaってのは論理式のことだよ
意味を抜き取った文章、みたいな理解は宜しくない

>>551
とりあえず直観主義の話は>>510では誰もしてないんじゃないの
なんでいきなり直観主義が出てくるのか分からんが