level 11
首先给出一个没有定义的概念：定义。
定义的一个诠释：只有可用形式语言构成的公式才能用来定义。
2011年03月26日 02点03分
1
level 11
无定义符号：存在、对任何
常用概念的定义：
1，无（空）：存在X对任何Y(┒(Y∈X)).
2，唯一（当且仅当）：存在X（φ（X）∧对任何(Y)→Y=X）.
3，X不是Y: ┓(X=Y).
4，X不属于Y: ┓(X∈Y).
2011年03月26日 02点03分
2
level 11
7，概念：逻辑变元，A,B,C,D,...
8，Y是X的表象（现象）：Y∈X.
9，是，同一：=。
10，不是，否定，非：┓。
11，或者：∨，
12，与，而且，同时：∧。
13，因果关系：→。
14，充分必要，等价：↔。
15，对任何：对任何
16，存在：存在
17，层次：（）。
对于形式逻辑哲学，
不看过程，只是解释世界如何；
不谈体系，只是讨论命题真假。
2011年03月26日 02点03分
4
level 1
你的定义与哲学的概念不同，或者说你的有些定义就没有
正确的
表达哲学的概念。
2011年03月26日 03点03分
5
level 11
18，一分为二原则：对任何S存在Y对任何X(X∈Y↔X∈∧ψ(X)),
(这是集论公理2也叫概括公理或分离公理）。
2011年03月26日 03点03分
6
level 8
飞雨曼殊纱,固然浪漫。
但是如果雨水渗透到脑中，却发现结果不再浪漫。
2011年03月26日 04点03分
10
