西田幾多郎、純粋経験

F(F∨O)=F(F)∨F(O)
或いは、
￢F(F∨O)=￢F(F)∨￢F(O)

比較検討：Gödel's ontological proof - Wikipedia
ー『その中で、ゲーデルは、ライプニッツの主張について、公理系を解明しつつ様相論理の手法を用いて明確な定式化を試みた。』（クルト・ゲーデル - Wikipedia）

西田 幾多郎　にしだきたろう
1870年5月19日（明治3年4月19日） - 1945年（昭和20年）6月7日
クルト・ゲーデル　Kurt Gödel
1906年（明治39年）4月28日 - 1978年（昭和53年）1月14日
尚、日本の太陽暦の採用は、明治5年（明治5年（1872）11月｜太陽暦が採用される：日本のあゆみ）。

ありのまま見ることが「純粋経験」なら、右辺の第二項は、排除され、「純粋経験」は第一項の意味するところと成る。
禅とは、確かに、顔に糞を塗りたくったり、指を立てたり、指を切りすてたり、要は、対象（モノ）それ自体の意味を無効化して、操作を操作して、操作の偽性を告発している。否定論法と直観主義である。

西田は数学を捨ててしまって、ただの「日本文化の紹介者」で終わってしまった。

高木貞治とその時代: 西欧近代の数学と日本

石川県専門学校で、当時学生だった西田幾多郎を教え、彼の才能を見込んで数学者になるよう強く勧めた。

北条時敬 - Wikipedia