Anki Deck Changes

Commit: c5a8b582 - add test card change

Author: obrhubr <obrhubr@gmail.com>

Date: 2026-02-06T17:55:07+01:00

Changes: 1 note(s) changed (0 added, 1 modified, 0 deleted)

Note 1: ETH::1. Semester::DiskMat

Deck: ETH::1. Semester::DiskMat
Note Type: Horvath Cloze
GUID: d7Vy2Qw5Hn
modified

Before

Front

ETH::1._Semester::DiskMat::6._Logic::2._Proof_Systems::3._Discussion
A proof system is always restricted to a certain type of mathematical statement.

Back

ETH::1._Semester::DiskMat::6._Logic::2._Proof_Systems::3._Discussion
A proof system is always restricted to a certain type of mathematical statement.

After

Front

ETH::1._Semester::DiskMat::6._Logic::2._Proof_Systems::3._Discussion
A proof system is always restricted to a certain type of mathematical statement.

Back

ETH::1._Semester::DiskMat::6._Logic::2._Proof_Systems::3._Discussion
A proof system is always restricted to a certain type of mathematical statement.

There is no universal proof system.
Field-by-field Comparison
Field Before After
Extra There is no universal proof system.
Tags: ETH::1._Semester::DiskMat::6._Logic::2._Proof_Systems::3._Discussion
↑ Top