Зайцева Н. В., «Увидеть доказательство», Философия-ВШЭ, т. 7, вып. 2, сс. 284-301, июн. 2023.