Wort zur Suche eingeben
provable
UK
/ˈprəʊ.və.bəl/
US
/ˈproʊ.və.bəl/
Bibliothek
but true statements can either be provable or unprovable
mathematics
доказуемый
В аксиоматической системе доказуемое утверждение имеет доказательство, использующее правила этой системы.
but true statements can either be provable or unprovable
science
доказуемые или недоказуемые
Здесь различаются истинные утверждения, которые можно доказать, и те, которые нельзя доказать в рамках аксиом.