Decidibilità: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m WikiCleaner 0.99 - null - Funzione caratteristica |
m r2.7.1) (Bot: Aggiungo: nl:Onafhankelijkheid (wiskundige logica) |
||
Riga 23:
[[cs:Nezávislé tvrzení]]
[[en:Independence (mathematical logic)]]
[[nl:Onafhankelijkheid (wiskundige logica)]]
[[ru:Независимость системы аксиом]]
[[sv:Oavgörbar]]
|