单选题 提出有意味的形式理论的是()
【正确答案】 A
【答案解析】