{"version":"1.0","type":"link","title":"System Hilberta - Newikis","description":"System Hilberta – dowolny system automatycznego dowodzenia twierdzeń, w którym występuje pewien zbiór aksjomatów i reguł dowodzenia, a dowód składa się z ciągu formuł będących albo aksjomatami, albo formułami wyprowadzonymi z poprzednich formuł na podstawie reguł dowodzenia, z których ostatnia jest…","provider_name":"Newikis","provider_url":"https://newikis.com","cache_age":86400}