」或概念「+」之中；且概念「直线」也不包含在概念「两点间最短的距离」之中。依此，康德断定有综合先验命题的知识存在。他接着主张去决定此类知识是可能的方法是极度重要的。弗雷格对分析性的概念除了包含之外，也包括其他的逻辑性质与关系：对称、递移关系、反义词或否定等。他特别重视形式性，尤其是形式的定义，而且也重视同义词的替换这个想法。「所有单身汉都没有结婚」可以经由单身汉的定义「没有结婚的人」表示成「所有没有结婚的人都没有结婚」，这被认为是一个重言式，且因此分析命题可表示成如下的逻辑形式：「所有具有F 和G 的X