何もない

同じタイトルの記事でのロジックの継続（ありとそうでない）。 この意味で：（何もありません）=（何か≠何か）。 Pythonコードは次のとおりです。

#!/usr/bin/python # :   = ( - ) #   = (  ) A = ('a', 'b', 'c') B = ('c', 'd') C = ('d', 'e') D = () # # ,  ( OR ) inSet1 == inSet2 #  ,  not ( OR ) def intersection_of_sets(set1, set2): pm = False for inSet1 in set1: for inSet2 in set2: if inSet1 == inSet2: #print(' : ', inSet1, '=', inSet2) pm = True #else: print('  , ..   ') if pm == True: print(' ') else: print('  ') return pm # intersection_of_sets(A, B) # True:   intersection_of_sets(A, C) # False:   -  #..       #    intersection_of_sets(D, D) # False:    #  , ..  #.      ,  = 

そして、以下は理論へのリンクです。 マニュアルからの引用[N. Nepeyvoda、Applied Logic、p。71]では、空のセットは同一の偽式によって与えられます。



結論として、これらのさまざまな組み合わせは、自然数列を構築することを許可されていないことに注意してください。

PS理論自体の手段によって証明も反証もできないシステムは、不完全と呼ばれます。 それどころか、システムでFが証明されるか、否定が証明されると、システムは完全と呼ばれます。 そして、同様に誤った式は証拠から除外されるため、それらが記述するものを表現することはできません。 ... したがって、古典的な見方では、彼らは一貫性のあるシステムにおける証明不能の不可避性に関する結論に達します。