Simbolización de proposiciones. Interferencia lógica. Certeza y validez. Tablas de certeza. Términos, predicados y cuantificaciones universales. Especificación universal y leyes de identidad. Un sistema matemático simple: axiomas de la adición. Generalización universal.