就是不知道该刹车还是该加速
【 在 nlgdczm 的大作中提到: 】
: 包含自然数算术的形式系统，若具有相容性（无矛盾），则必然存在在该系统中无法被证明或证伪的命题，即“不可判定命题”。  
: 翻译到智驾上怎么讲？  
: --

发自「今日水木 on i」
--
FROM 223.104.40.*