/sci/ - Science & Math

14) I'll call this language math-mind and those are the rules:

The theorems are of the format:
I feel/It is possible to feel x(Iff x is in S)
Any combination of the above with first order logic operations(^, v, ¬, ...)

15) It is a very simple language that talks about a simple coordinate space. Also it is able to express Peano Arithmetic(you just substitute some x in S by 1 and by the closure under addition you get our good old arithmetic).

16) Any experience anyone has, even if is some mystical weird crap is just an element s in S, therefore you can talk about the experience in math-mind.

The point is, since we're supposing the combination problem is solved, we're supposing that even the craziest experiences are explained, including some LSD trip or some higher conscious state achieved by some monk in Tibet. Math-mind is capable of stating theorems about those experiences.