An absolutely independent axiom system for groups

The notion of an absolutely independent axiom system was introduced by FRANKHARARI in. Following HARARI, one says that an axiom A of the form «p implies q» never holds in a model M, if the hypothesis p occurs at least once in M and, furthermore, whenever p is true, q is false (one admits the possibility of taking p as an universally true statement).

PDF do Artigo | PDF integral
Gazeta nº 101, pág. nº 2 | Categoria: Artigos | Palavras-Chave: gazeta, matemática, grupos, axiomas
Autor(es): José Morgado |