>>164
おやおや、君は>>158で
＞奴は決定番号∞理論と有限列論法がよりどころ
といったから、君のいう命題Aも>>1にとっては無意味
と理解していると思ったんだがな

ま、>>1が証明を書けばわかるさ