I-A_incompletitud artificial/I-A_artificial incompleteness