22/01/16 18:05:27.56 .net
>>287
＞列 0,1,2,・・ は、長さ可算無限個の列として、存在しうる
正確にはペアノの公理で、無限個の自然数の存在が、保証される
それは、無限個の「有限個のカッコの重なり」の存在の保証である
しかし、同様の方法で、
一つの「無限個のカッコの重なり」
・・{{・・{{{}0}1}2・・}n}n+1・・
の存在を保証することはできない
22/01/16 18:05:27.56 .net
>>287
＞列 0,1,2,・・ は、長さ可算無限個の列として、存在しうる
正確にはペアノの公理で、無限個の自然数の存在が、保証される
それは、無限個の「有限個のカッコの重なり」の存在の保証である
しかし、同様の方法で、
一つの「無限個のカッコの重なり」
・・{{・・{{{}0}1}2・・}n}n+1・・
の存在を保証することはできない