1樓：海盜
其實「無窮多」僅是個形容詞，基於事實是不成立的。乙個結論我們往前追述，必然會發現有乙個前提條件，不再是它的上乙個結論所提供的。而是真實存在的事實真理。
如果我們能無窮假設下去，這一結論就不存在。逆推的實現在於必先有正推的存在。然而正推必先有個基本事實作為依據。
2樓：風無名
假設有無窮多條，不一定複雜，還要看這個假設集合是否可以被某個圖靈機所識別（如果不能，那麼理論就比較複雜，如果能某個圖靈機識別相對而言就比較簡單）
如果兩個理論的假設集合都可以被圖靈機所識別，那就看識別演算法是否複雜（這裡所說的複雜不能完全等價於演算法複雜度）
3樓：amos
瀉藥。恕我沒文化，沒看懂，那我就用我的理解瞎說一下。
你聊的是邏輯，那就回到基礎概念……範疇。
所謂無窮多的條件，只要多必然產生額外聯絡，等效條件置換會不？盡量多做些工作。
你會發現結論可能很常識，不過是你做了乙個證明。
4樓：
「無窮」本身並沒有良好的定義。
經驗的看，部分無窮的定義是以確定性外推出無窮，比如數學歸納法，這種情況下無窮條假設可以歸納為有限的假設。
5樓：Mengqi Hu
我其實不是很理解這個問題，什麼叫「每乙個結論」？直覺上就覺得問題的陳述似乎有問題。我以我的理解重新整理一下吧。
假設想要推導出陳述C，我們有且僅有兩組假設可以達成目的，分別記作 和 兩個集合，其中 均是無窮集合，試論是否存在以一種方法辨別那一組假設比較簡潔？
如果你的問題和如上問題等價的話，問題其實很簡單，就是 的無窮基數比較，這個部分就涉及連續統假設的問題了。如果我們承認連續統假設，那麼就只有三種情況：
均與自然數等勢，這種情況下，兩種假設同樣簡潔。我的直覺告訴我，這種從A、B推理到C的過程，好像等價於數學歸納法或者可數選擇公理；
均與實數等勢，這種情況下，兩種假設同樣簡潔。我的直覺告訴我，，這種從A、B推理到C的過程，好像等價於超限歸納法/選擇公理；
其中之一與自然數等勢另乙個與實數等勢，另乙個集合與實數等勢。不失一般性地，我們假設與自然數等勢集合是 ， 與實數等勢的集合是 。這種情況下，與自然數等勢的假設集合，即 比較簡明。
順代提一下，關於實數的勢嚴格大於自然數的勢這個結論，這個證明是喬治·康托爾在2023年給出的。
在父母看來，每乙個大齡剩女都該死嗎？
小毛褲琪琪 是啊，而且社會耶這麼想的吧 教材上原話 過年時因為被逼婚，差點出車禍 話說我不是什麼挑，是我家二老挑 我找的男的他們永遠都能挑毛病 外地的不行 學歷低的不行 給我拆散了 他們給我介紹的也是外地的 學歷比我低的啊？我沒介意這些 我就想自己找臭魚爛蝦也是我自己挑的 不行？那就不找我也不是多想...
每乙個還在學習的程式設計師都需要了解大資料和人工智慧嗎？
何必問，樓主自己心裡自然有答案。其實更好的問題也許是 調查一下，程式設計師們你們 了嗎？我90年代參加工作的老程式設計師，正在學習，很痛苦很煎熬很燒腦，很多背景知識缺乏。但是腦子不燒，難道留著打麻辣火鍋用？工作了20來年而已，後面可能還有3 40年等著呢，不學習難道都靠90年代讀的那點兒書混？就算過...
是不是每乙個天蠍男分手都非常狠心？
conviction 我曾經問過我男朋友對分手的看法，為什麼他們天蠍男都很絕情的樣子，分手之後再愛也不回頭。他說我不懂他們的心理，在他們看來，愛的時候盡全力去愛了，如果對方執意要提分手，他們會再三確認是否真的要分手，如果對方確認要分手，那就分吧，一定不回頭。儘管會有留戀，但是，是你執意要分手的 我已...