When someone uses the word "logic"he/she should immediately point out what is initially assumed to be true/false and what truth results is derived, i.e. what can be proved from those initial assumptions.Word logic is nice to use, it can be fancy, it can show you want to be precise in your communication or explanation. However, the axiomatic system should be known and understandable for all the parties that are part of the "logic" communication. Saying that something is logical doesn't mean it is obvious, and it doesn't mean it does not require a proof. If something appear to be "trivial", the logical context of axioms and premises should be clear to all participants who want to accept that "trivial" remark. Contextually "trivial" is OK.
[ logic, mathematical logic, math, math concepts, axioms, ]
[ logic, mathematical logic, math, math concepts, axioms, ]
