Actually the formal document languages have type checking and consistency analysis systems/tools.
Tools like Alloy[1] allow you to write your documentation/definition and check its consistency. These languages are always limited so you don't get into Gödel incompleteness problems.
Tools like Alloy[1] allow you to write your documentation/definition and check its consistency. These languages are always limited so you don't get into Gödel incompleteness problems.
1. http://alloy.mit.edu/alloy4/