参考文献

W. Craig, On axiomatizability within a system, The Journal of Symbolic Logic 18 (1), 1953, 30–32