El trilema de Münchhausen o trilema de Agripa es un ataque a la posibilidad de lograr una justificación última para cualquier proposición, incluso en las ciencias formales como la matemática y la lógica. 
Un trilema es un problema que admite solo tres soluciones, todas las cuales parecen inaceptables. El argumento discurre así: cualquiera que sea la manera en que se justifique una proposición, si lo que se quiere es certeza absoluta, siempre será necesario justificar los medios de la justificación, y luego los medios de esa nueva justificación, etc. Esta simple observación conduce sin escape a una de las siguientes tres alternativas (los tres cuernos del trilema):[1]​

Una regresión infinita de justificaciones: A se justifica por B, B se justifica por C, C se justifica por D, etc. La necesidad de remontarse cada vez más en la búsqueda de fundamentos es un proceso sin fin, irrealizable, que no provee ningún fundamento seguro.
Un corte arbitrario en el razonamiento: A se justifica por B, B se justifica por C, y C no se justifica. Esta última proposición se puede presentar como de sentido común o como un principio fundamental (postulado o axioma), pero en cualquier caso representaría una suspensión arbitraria del principio de razón suficiente recurriendo a un dogma.
Una justificación circular: A se justifica por B, B se justifica por C, y C se justifica por A. En el proceso de justificación se recurre a enunciados que ya antes se habían mostrado como enunciados que requieren justificación y, por lo tanto, sin llegar nunca a una justificación segura por ser lógicamente defectuosa.