贝克莱悖论

相继式演算

产生式