1樓：自學生
我發現了，5份對角和7份對邊方格6*6半徑圓周＝自然規律和人為規則1對兩性定律＝5+1和7-1＝正中平衡時間6*6＝36（兩性矛盾各讓一步）自然統一平衡時間標準真理定律模型。
2樓：
第乙個問題：從某種意義上來說可以，因為在乙個形式系統中，可以應用的證明規則是有限的，所有可以被證明的命題是re的，那麼所有可以被某個特定program驗證的命題就是你想知道的那些命題。
第二個問題：如果你想說的條件，指的是一些類似於演算法的規則，那麼答案是否定的。因為所有真命題的集合是productive的，換句話說，你用任何方法想要effectively enumerate這些命題，總會有遺漏。
3樓：
我印象中結論是存在一系列這種命題是不可遞迴的。其中有個叫goodstein 定理已經證明了在一階邏輯不可證，需要用二階邏輯證明為真。
4樓：
窩覺得你的腦洞大概等價於這個！
判定性問題(Decision problem)最初是於2023年，丘奇用λ演算（Lambda calculus）給出了判定性問題的乙個否定的解，證明了PA不可判定……（也就是蘇暖暖的回答中的塗紅部分啦。。）
隨著科學的進步……越來越多的不可判定問題被發現了！
WIKI資料：不可判定問題列表（List of undecidable problems）
各種現有數學公理體系一定符合現實或者邏輯嗎，如果不符合那麼建立這麼乙個體系有什麼意義呢？
李三畏 若將題中的 現實 定義為某一論域U，將邏輯定義為對映規則f，那麼公理系統S在U內是自洽的，即S與環境U因滿足規則f而彼此相符 f U S 當且僅當論域發生改變時，才有可能出現公理系統S與環境相衝突，即當規則f不變時，若 U U 則有 f U f U 例如，當論域為自然數集N 時，Peano公...
微積分體系或者說數學分析的最基本的公理是哪幾條？
yuyu 粗略地說，實數的公理就是實數是乙個有序域滿足Dedekind完備公理公理.實數 存在乙個集合，叫做實數集，定義了兩個二元運算，叫作加法和乘法，以及乙個全序關係 滿足下面的性質 代數性質 是乙個域。代數和序的性質 對於，如果，那麼。如果並且，那麼。Dedekind完備公理 的每個非空有上界的...
數學上以概率1收斂於某個值和必然收斂於某個值有什麼區別？
Convergence of random variables To say that the sequence Xn convergesalmost surelyoralmost everywhereorwith probability 1orstronglytowards X means tha...