Математика и логика: доказательство мёльманна