题要求Fubini定理。我们还要警告读者这种语义相应的"逻辑"是非常复杂的。
形式化的历史.在形式逻辑中的量化的第一个基于变量的处理直到19世纪才出现，尽管词项逻辑以同在自然语言很紧密的方式处理量化，但不适合于形式分析。亚里士多德逻辑在公元前1世纪给出了“所有”、“某些”和“没有”量词和对真势模态的处理。第一个基于变量的逻辑处理是弗雷格的《概念文字》，紧随在查尔斯·皮尔士独立的公式化了存在图之后。弗雷格的方法被证明更有影响，因为它被皮亚诺接受，尽管Pierce的逻辑最近更加