Re: Seeking help with proof from Shoenfields "Mathematical Logic" ... > on paper when we write down the axiom.... A formal system is the syntactical part of an axiom system. ... > rule of inference states that under certain conditions, ... > Shoenfield's definition of induction on theorems and the induction ... (sci.math)
Re: Two results of set geometry ... Conditional or countable choice is a theorem, not an axiom.... science, involving trial and error, and peer review.... Why don't you find out first what a formal system IS? ... of being alternative, and I don't disqualify any intuitions, informal ... (sci.math)
Re: Godel cant tell us what makes a mathematical statement true ... "What you mean is that the only non-logical axiom of T1 is 'a<m'." ... in spelling out for him a formal system whose ... and more efficiently just corrected the slip yourself and moved on. ... we must therefore examine the methods of the mathematician."... (sci.logic)
Re: Godel cant tell us what makes a mathematical statement true ... "What you mean is that the only non-logical axiom of T1 is 'a<m'." ... in spelling out for him a formal system whose ... about truth-subjectivity, instead of attacking me, from 'e < m' to ... we must therefore examine the methods of the mathematician."... (sci.logic)
