This is a theorem not an axiom
A content ERROR was logged by "Guest: Sabrina " at the following url:
https://courses.voll-ki.fau.de/course-notes/ai-1?inDocPath=uqur5k.6deehn.-sbnw8.-4k0z2e%7E97e012a1
The issue as described by the user:
See title
The text highlighted while reporting this issue:
Consistency implies Admissibility
The selected text was in the following section hierarchy:
INNERMOST SECTION FIRST
-
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/slides/admissible-consistent.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/slides/admissible-consistent.en.xhtml&bindings=0_4_13l2vRZOBvQ -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/sec/heuristics.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/sec/heuristics.en.xhtml&bindings=0_1_Xp00Amw -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/sec/informed-search.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/sec/informed-search.en.xhtml&bindings=0_0_3AZDvK -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/search/sec/search.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=search/sec/search.en.xhtml&bindings=0_0_OG -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/sec/gps.en.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/sec/gps.en.xhtml&bindings=0_0_3a -
GitLab: https://gl.mathhub.info/MiKoMH/AI/-/blob/main/source/course/notes/notes1.tex
FetchURL: https://stexmmt.mathhub.info//:sTeX/fulldocument?archive=MiKoMH/AI&filepath=course/notes/notes1.xhtml