现代逻辑使用的是自然语言
出自:哲学