sentence1: since we are using logic to reason about mathematical facts , as opposed to reasoning about an uncertain external world , the approach taken by , and others is particularly relevant .
sentence2: since we are using logic to reason about mathematical facts , as opposed to reasoning about an uncertain external world , the approach taken by gaifman , demski , hutter et al , and others is particularly relevant .