Formal-system symbols, words, axioms, coding, and rules have intended representation {standard interpretation}. If formal system is consistent, nonstandard interpretations exist that make statements that were false in standard interpretations true in nonstandard interpretations.
Mathematical Sciences>Mathematics>Axiomatic Theory
3-Mathematics-Axiomatic Theory
Outline of Knowledge Database Home Page
Description of Outline of Knowledge Database
Date Modified: 2022.0224