If you find that “Rational” belongs at the beginning of most posts, then it can go entirely unsaid.
Much like as I realized just recently, we really don’t need a symbol for “such that” in ∃x(Px)
∃x(Px)
This.
If you find that “Rational” belongs at the beginning of most posts, then it can go entirely unsaid.
Much like as I realized just recently, we really don’t need a symbol for “such that” in
∃x(Px)
This.