Критерии Попера устарели и не проходят проверку на сами себя.
Есть другие критерии научности и познания. Научный метод заключается в моделировании, которое полностью и не противоречиво покроет всю Вселенную, даже если она бесконечна.
Это возможно и доказано в рамках теории моделей, при условии добавления в процесс формализации трансфинитной индукции для моделей до ординала ε0, так как в 1936 году Герхард Генцен доказал непротиворечивость арифметики, используя примитивно рекурсивную арифметику с дополнительной аксиомой для трансфинитной индукции до ординала ε0.