Perhaps this isn't surprising, sinc

Perhaps this isn't surprising, since the result still talks about an infinite collection of things and Peano arithmetic is not well-equipped for dealing with infinity. However, Friedman managed to produce a finitary version of this statement. Suppose you're looking at a finite sequence of finite trees. Then as long as the sequence is large enough and the number of nodes in the trees doesn't grow too fast as you move along the sequence, you can guarantee that there are two trees with one containing the other.

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

อาจไม่น่าแปลกใจตั้งแต่ผลยังคงพูดคุยเกี่ยวกับการจัดเก็บไม่มีที่สิ้นสุดของสิ่งและคณิตศาสตร์อาโน่ไม่ได้ดีพร้อมสำหรับการรับมือกับอินฟินิตี้ แต่ฟรีดแมนได้รับการจัดการในการผลิตรุ่น finitary ของคำสั่งนี้ สมมติว่าคุณกำลังมองหาที่ลำดับ จำกัด ของต้นไม้ จำกัดแล้วตราบใดที่ลำดับมีขนาดใหญ่พอและจำนวนของโหนดในต้นไม้ไม่เติบโตเร็วเกินไปในขณะที่คุณย้ายไปตามลำดับที่คุณสามารถรับประกันได้ว่ามีต้นไม้สองต้นอยู่กับคนอื่น ๆ ที่มี

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

ทีนี้ไม่น่าแปลกใจ ตั้งแต่ผลยังพูดเกี่ยวกับ คอลเลกชันเป็นอนันต์สิ่งและ Peano คณิตศาสตร์ไม่ห้องสำหรับจัดการกับอินฟินิตี้ อย่างไรก็ตาม ฟรีดแมนจัดการผลิตรุ่น finitary นี้ สมมติว่า คุณกำลังมองที่ลำดับจำกัดของมีจำกัด แล้ว ยาวเป็นลำดับที่มีขนาดใหญ่พอ และจำนวนโหนดในต้นไม้ไม่เจริญเติบโตเร็วเกินไปขณะที่คุณเลื่อนตามลำดับ คุณสามารถรับประกันว่า มีต้นไม้สองกับหนึ่งประกอบด้วยอีก

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

อาจจะเป็นโรงแรมแห่งนี้ไม่ใช่เรื่องที่น่าประหลาดใจอะไรเพราะผลที่ได้ก็ยังการเจรจาเกี่ยวกับการเก็บรวบรวมแบบไม่มีขอบเขตของสิ่งต่างๆและเลขคณิต peano ไม่ได้จัดให้บริการอย่างดีสำหรับการจัดการกับรูปทรงอิสระ แต่ถึงอย่างไรก็ตาม Friedman จากการบริหารจัดการในการผลิตรุ่น finitary งบนี้ คิดว่าคุณกำลังมองหาโปรโตคอลแบบที่หนึ่งของต้นไม้แบบจำกัดแล้วก็เป็นที่ตามลำดับที่มีขนาดใหญ่เพียงพอและหมายเลขของโหนดในต้นไม่ได้เติบโตอย่างรวดเร็วจนเกินไปในขณะที่ท่านเดินทางไปตามตามลำดับที่คุณสามารถรับประกันว่ามีสองต้นพร้อมด้วยหนึ่งประกอบด้วยอื่นๆได้