半人马数学

Lex Fridman播客的嘉宾表示不相信已解决公理，并认为半人马数学将是一种非常好的做数学的方式。