习题讨论 题目: 1,计算I dx ta 2,计算lm=r(mndt,其中Bm为自然数 8,计算J=(11 xax,其中x是x的整数部分 sIn x sIn x 4,一研究l1= dx, dx,p>O的敛散性 x +sinx 5,设f:(-∞+∞)→R,在任何有限区间可积,且有limf(x)=A, 明,Ⅵt,()=「((x+0-f(x)=0 第七章定积分
F= = F + “ = ” + 2 Axiom Schemata Axiom Schema 6 x = x. Axiom Schema 7 x = y ⊃ (SzxA ⊃ SzyA) where A is an atomic wff. A first order theory is a first-order theory with equality if it has a binary predicate = such that the wffs above are theorem of the theory