русский
аксиоматика португальский
sistema axiomático английский
axiomatic system каталонский
sistema axiomàtic En lógica y matemáticas, un sistema axiomático consiste en un conjunto de axiomas que se utilizan, mediante deducciones, para demostrar teoremas.
1
No existe ningún proceso constructivo capaz de demostrar que una teoría axiomática es coherente.