で、文字列をトリミングするのが君のいう集合論ベースの言語なのかい?