数理逻辑的特征、发展和应用