EntityQ7369799· pop 5· linked from 8 articlesRosser's trickSign in to savemethod in mathematical logicConnectionsInternational Standard Book NumberEntitynatural numberEntitydigital object identifierEntitymathematical logicEntityJSTOROrganizationGödel's incompleteness theoremsEntityQ22908627Entityfirst-order logicEntityPeano axiomsEntityelementary arithmeticEntityRosser's theoremEntityJ. Barkley RosserEntitydiagonal lemmaEntityJournal of Symbolic LogicEntityJon BarwiseEntityCategoriesMathematical logic