๐งต Untitled Thread
Anonymous at Sun, 21 Jul 2024 11:47:10 UTC No. 16290744
>You say you're a logician?
>Prove every axiom.
Anonymous at Sun, 21 Jul 2024 11:49:07 UTC No. 16290747
>>16290744
True if observed
False if not
Anonymous at Sun, 21 Jul 2024 11:56:18 UTC No. 16290758
>>16290744
Every axiom in a formal system as a one-line proof in that formal system.
Anonymous at Sun, 21 Jul 2024 12:01:35 UTC No. 16290762
>>16290744
>prove every assumption
Im assuming they are true so for this context, they are true
Anonymous at Sun, 21 Jul 2024 12:10:51 UTC No. 16290769
The Law of Transitivity: if A is B, and B is C, then C is A
Anonymous at Sun, 21 Jul 2024 18:22:33 UTC No. 16291096
https://youtube.com/shorts/FVH579QE
Anonymous at Sun, 21 Jul 2024 18:55:52 UTC No. 16291164
>>16290744
>greentext syntax error
Lurk more before posting.