Tando, pro dimustrare chi cale si siat sistema assiomàticu de sa matemàtica difatis est coerente, prima de totu tocat de assùmere sa coerèntzia de unu sistema de sa matemàtica chi est in carchi manera prus forte de su sistema chi si depet dimustrare coerente.