[8] 参见《科学发现的逻辑》第404页。
[9] 同上书，第402-406页。
[10] 同上书，第400-402页。
[11] 注意，“t”现在不是用来标示“重言式”；对重言式，我们后面还将引入符号“tautol”。(因为了很可能是不可公理化的，所以这种使用“t”的方法可以说等于把a,b,…，t，…解释为演绎体系(而不是解释为陈述)；参见塔尔斯基：《逻辑，语义学，元数学》第342页及以后，和第382页上谈到S.马祖凯维茨的地方)。
[12] 这里假定的概率论在《科学发现的逻辑》的附录*
