你最喜歡的證明系統是什麼?