けんき
says to
YSITD
還有邏輯一定要奠基在公理系統嗎？