形式逻辑是符号系统，与自然语言类型无关。自然语言是表达载体，不影响逻辑结构。