One slightly unsettling feature of

One slightly unsettling feature of this method is that we may not know
at the beginning of the proof what the statement C is going to be

ผลลัพธ์ (ไทย) 1:

คุณลักษณะอย่างหนึ่งก่อกวนเล็กน้อยของวิธีนี้คือการ ที่เราอาจไม่รู้ว่า
ที่จุดเริ่มต้นของการพิสูจน์ อะไรยอด C เป็นไปได้

ผลลัพธ์ (ไทย) 2:

คุณสมบัติหนึ่งที่ทำให้ไม่สงบเล็กน้อยของวิธีนี้คือการที่เราอาจไม่ทราบว่า
ที่จุดเริ่มต้นของการพิสูจน์ว่าคำสั่ง C เป็นไปได้

ผลลัพธ์ (ไทย) 3:

หนึ่งคุณลักษณะเล็กน้อยรบกวนประสาทของวิธีนี้คือ ว่า เราไม่อาจรู้
จุดเริ่มต้นของการพิสูจน์อะไรงบ C จะ