consistency

#concept

A formal system is consistent if >> there is no statement such that the statement itself and its negation are both derivable in the system.### References

1. https://plato.stanford.edu/entries/goedel-incompleteness/#:~:text=A%20formal%20system%20is%20consistent%20if%20there%20is%20no%20statement%20such%20that%20the%20statement%20itself%20and%20its%20negation%20are%20both%20derivable%20in%20the%20system.

Notes §