After John wrote the abstract "康德的《纯粹理性批判》和维特根斯坦的《逻辑哲学论》均以划界为首要任务。康德的划界是明示的、外在的，而维特根斯坦的划界是默示的、内在的。这种差异根源于二者不同的逻辑方法。康德的先验逻辑既关涉形式，又关涉内容，所以在界限之外也有所说；而维特根斯坦的数理逻辑只关涉形式，所以惟有沉默。", he wrote these keywords "维特根斯坦, 康德, 先验, 划界". Do you think his choice of keywords was correct? Answer yes or no.
no